MV-algebras were introduced by Chang as an algebraic counterpart of the Lukasiewicz infinite-valued logic. D. Mundici proved that the category of MV-algebras is equivalent to the category of abelian l-groups with strong unit. A. Di Nola and A. Lettieri established a categorical equivalence between the category of perfect MV-algebras and the category of abelian l-groups. In this paper we investi...

We consider a non-associative generalization of MV-algebras. The underlying posets of our non-associative MV-algebras are not lattices, but they are related to so-called λ-lattices. c ©2007 Mathematical Institute Slovak Academy of Sciences 1. Non-associative MV-algebras As known, MV-algebras were introduced in the late-fifties by C . C . C h a n g as an algebraic semantics of the Lukasiewicz ma...

In his classical paper 1 , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see 2–5 . The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic...

This paper presents an algebraic approach of some many-valued generalizations of modal logic. The starting point is the de nition of the [0, 1]-valued Kripke models, where [0, 1] denotes the well known MV-algebra. Two types of structures are used to de ne validity of formulas: the class of frames and the class of Šn-valued frames. The latter structures are frames in which we specify in each wor...

The unit interval in a partially ordered abelian group with order unit forms an interval effect algebra (IEA) and can be regarded as an algebraic model for the semantics of a formal deductive logic. There is a categorical equivalence between the category of IEA’s and the category of unigroups. In this article, we study the IEA-unigroup connection, focusing on the cases in which the IEA is a Boo...

Several types of skeletons in a hyper MV-algebra are introduced, and their relations are investigated.

The unit square is regarded as a special kind of dynamical system. It is proved that the square is an MV-algebra, hence the recent results on MValgebra entropy theory can be applied to it.

My talk is based on article [1]. Our aim is to give a unified topological approach to several results about a certain type of fuzzy measures, namely T∞−valuations (2) on clans of fuzzy sets (1) (in the sense of Butnariu and Klement [2]). We will transfer the method of [3], used to study FN-topologies (4) and measures on Boolean rings, to the study of T∞−valuations. So we need, for the domain of...

In this paper, some types of fuzzy filters a strong Sheffer stroke non-associative MV-algebra (for short, NMV-algebra) are introduced. By presenting new properties filters, we define prime filter in algebraic structure. Then (prime) NMV-algebra determined and features proved. Finally, built quotient by filter.