Some generalizations of BCI algebras (the RM, BH, CI, BCH,
 BH**, BCH**, and *aRM** algebras) satisfying the identity $(x \rightarrow
 1)\rightarrow y = (y \rightarrow 1) x$ are considered. The connections these algebras
 various commutative groups (such as, for
 example, involutive moons (weakly)
 goops) described. In particular, it is proved that an RM
 algebra v...

The purpose of this paper is to define the notion of an intervalvalued fuzzy H-ideal(briefly, an i − v fuzzy H-ideal) of a BCI-algebra. Necessary and sufficient conditions for an i − v fuzzy ideal to be an i − v fuzzy H-ideal are stated. A way to make a new i− v fuzzy H-ideal from old one is given. Mathematics Subject Classification: 06F35, 03B52

The purpose of this paper is to work out the categorical basis for the foundations of Conformal Field Theory. The definition of Conformal Field Theory was outlined in Segal [45] and recently given in [24] and [25]. Concepts of 2-category theory, such as versions of algebra, limit, colimit, and adjunction, are necessary for this definition. The structure present on the class C of rigged surfaces...

The concept of quasi-coincidence of an interval valued fuzzy set is considered. By using this idea, the notion of interval valued (α, β)−fuzzy sub-implicative ideals of BCIalgebras is introduced, which is a generalization of a fuzzy sub-implicative ideal. Also some related properties are studied and in particular, the interval valued (∈,∈ ∨q)−fuzzy subimplicative ideals in a BCI-algebra will be...

The study of Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain-Computer Interfaces (BCI) is a part or a subset of Human-Computer Interaction (HCI) that involves the communication between the user and the system via brain signals. The electroencephalography (EEG) have developed into one of the most important and widely used quantitative d...

We consider the relationship between ideals of a BCI-algebra and order ideals of its adjoint semigroup. We show that (1) if I is an ideal, then I =M−1(M(I)), (2) M(M−1(J)) is the order ideal generated by J∩R(X), (3) if X is a BCK-algebra, then J =M(M−1(J)) for any order ideal J of X, thus, for each BCK-algebra X there is a one-to-one correspondence between the set (X) of all ideals of X and the...

The concept of a Kleene algebra (sometimes also called lattice) was already generalized by the first author for non-distributive lattices under name pseudo-Kleene algebra. We extend these concepts to posets and show how (pseudo-)Kleene can be characterized identities implications assigned commutative meet-directoids. Moreover, we prove that Dedekind-MacNeille completion poset is finite Further,...

The paper applies the pseudo-linear algebra to unify the results on reducibility, reduction and transfer equivalence for continuousand discrete-time nonlinear control systems. The necessary and sufficient condition for reducibility of nonlinear input-output equation is presented in terms of the greatest common left factor of two polynomials describing the behaviour of the ‘tangent linearized sy...

The Archimedean property is one of the most beautiful axioms of the classical arithmetic and some of the methods of constructing the field of real numbers are based on this property. It is well-known that every Archimedean `-group is abelian and every pseudo-MV algebra is commutative. The aim of this paper is to introduce the Archimedean property for pseudo-MTL algebras and FLw-algebras. The ma...

A notion of vertex bialgebra and a notion of module nonlocal vertex algebra for a vertex bialgebra are studied and then a smash product construction of nonlocal vertex algebras is presented. For every nonlocal vertex algebra V satisfying a suitable condition, a canonical bialgebra B(V ) is constructed such that primitive elements of B(V ) are essentially pseudo derivations and group-like elemen...