Representation of the algebra of FP (anti)ghosts in string theory is studied by generalizing the recursive fermion system in the Cuntz algebra constructed previously. For that purpose, the pseudo Cuntz algebra, which is a ∗-algebra generalizing the Cuntz algebra and acting on indefinite-metric vector spaces, is introduced. The algebra of FP (anti)ghosts in string theory is embedded into the pse...

Pseudo-BCK algebras were introduced by G. Georgescu and A. Iorgulescu as a generalization of BCK algebras. Their properties and connections with other fuzzy structures were established by A. Iorgulescu and J. Kühr. In this paper we study the class of perfect pseudo-BCK algebras with pseudo-product and we prove that any perfect pseudo-BCK algebra with pseudo-product is strongly bipartite. Anothe...

Characterizations of fuzzy ideals of a pseudo-BCK algebra are established. Conditions for a fuzzy set to be a fuzzy ideal are given. Given a fuzzy set μ, the least fuzzy ideal containing μ is constructed. The homomorphic properties of fuzzy ideals of a pseudo-BCK algebra are provided. Finally, characterizations of Noetherian pseudo-BCK algebras and Artinian pseudo-BCK algebras in terms of fuzzy...

For a given variety Var of algebras we define the variety Var of dialgebras. This construction turns to be closely related with varieties of pseudo-algebras: every Var-dialgebra can be embedded into an appropriate pseudo-algebra of the variety Var. In particular, Leibniz algebras are exactly Lie dialgebras, and every Leibniz algebra can be embedded into current Lie conformal algebra.

A normal pseudo-BCK-algebra X is an algebra in which every subalgebra of X is an ideal of X . Characterizations of normal pseudo-BCK-algebras are given. 2010 Mathematics Subject Classification: 03G25, 06F35.

A universal algebra is simple if and only if it has more than one element and there are no proper homomorphisms defined upon it. In this note we study a related notion : an algebra is pseudo-simple if and only if it has more than one element and is isomorphic to all its proper (i.e., non-one-element) homomorphic images. The two concepts simplicity and pseudo-simplicity are examples of concepts ...

The aim of this paper is to introduce the notion of fantastic deductive systems on generalizations of fuzzy structures, and to emphasize their role in the probability theory on these algebras. We give a characterization of commutative pseudo-BE algebras and we generalize an axiom system consisting of four identities to the case of commutative pseudo-BE algebras. We define the fantastic deductiv...

In this paper we introduce the concepts of hyper P -semisimple Ialgebra and Abelian hyper I-algebra and we state and prove some related results. The hyper p-semi simple I-algebras is a generalization of p-semisimple BCI-algebras and a subclass of hyper I-algebras. Specially we show that every Abelian hyper I-algebra is a hyper psemisimple I-algebra and a commutative canonical hypergroup. In fol...