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.

States of unital Abelian lattice-groups (normalised positive group homomorphisms to R) provide an abstraction expected-value operators. A well-known theorem due Mundici asserts that the category (with unit-preserving lattice-group as morphisms) is equivalent algebraic MV-algebras, and their homomorphisms. Through this equivalence, states correspond certain [0,1]-valued functionals on which are ...

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 ...

We study unbounded versions of effect algebras. We show a necessary and sufficient condition, when lattice operations of a such generalized effect algebra P are inherited under its embeding as a proper ideal with a special property and closed under the effect sum into an effect algebra. Further we introduce conditions for a generalized homogeneous, prelattice or MV-effect effect algebras. We pr...

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 the present paper, by considering the notion of MV-modules which is the structure that naturally correspond to lu-modules over lu-rings, we prove some results on prime A-ideals and state some conditions to obtain a prime A-ideal in MV-modules. Also, we state some conditions that an A-ideal is not prime and investigate conditions that $Ksubseteq bigcup _{i=1}^{n}K_{i}$ implies $Ksubseteq K_{j...

In this paper we make an algebraic study of the variety of M V * –algebras introduced by C. C.Chang as an algebraic counterpart for a logic with positive and negative truth values. We build the algebraic theory of M V * –algebras within its own limits using a concept of ideal and of prime ideal that are very naturally related to the corresponding concepts in –groups. The main results are a subd...

A square root is a unary operation with some special properties. In the paper, we introduce and study roots on EMV-algebras. First, known properties of defined MV-algebras will be generalized for EMV-algebras, also find new ones MV-algebras. We use to characterize Then, relation between an EMV-algebra its representing top element. show that each strict has element, investigate divisible EMV-alg...