In 2003, Di Nola, et.al. introduced the notion of MV -modules over a PMV algebra and A-ideals in MV -modules [5]. These are structures that naturally correspond to lu-modules over lu-rings [5]. Recall that an lu-ring is a pair (R,u), where (R, ⊕, ·, 0, ≤) is an l-ring and u is a strong unit of R (i.e, u is a strong unit of the underlying l-group) such that u · u ≤ u and l-ring is a structure (R...

Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples. Moreover, as a generalization of derivations of $MV$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $MV$-algebras.Also, we investigate some properties of them.

We introduce the notion of a Smarandache hyper (∩,∈)-ideal and Ω-reflexive in hyper K-algebra, and some related properties are given. Mathematics Subject Classification: 06F35, 03G25

This paper aims to give a clear and comprehensive view of the relations between the various classes of MV-algebras with product operations. The algebraic hyerarchy, from groups to algebras, can be transported by Γ-functors in order to provide the algebraic semantics for conservative extensions of Łukasiewicz logic. The MV-algebraic tensor product allows us to complete the picture with categoric...

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

We consider the notion of an isomorphism between two hyper BCI-algebras and obtain all of the hyper BCI-algebras of order 3. It is shown that there exist 14 proper hyper BCI-algebras and 5 proper weak hyper BCI-algebras of order 3 up to isomorphism. Finally, further study on the theory of hyper BCI-algebra and its related hyper structure and applications of our results in information sciences a...

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

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