On Free MV-Algebras

In the present paper we show that free MV-algebras can be constructed by applying free abelian lattice ordered groups.     

MV-Test Spaces Versus MV-Algebras

In analogy with effect algebras, we introduce the test spaces and MV-test spaces. A test corresponds to a hypothesis on the propositional system, or, equivalently, to a partition of unity. We show that there is a close correspondence between MV-algebras and MV-test spaces.     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

R/M的局部分配性

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＡｍｂｏｓ－Ｓｐｉｅｓ,Ｊｏｃｋｕｓｃｈ,ＳｈｏｒｅａｎｄＳｏａｒｅ［１９８４］ｐｒｏｖｅｄｔｈａｔＭ,ｔｈｅｓｅｔｏｆａｌｌｔｈｅｃａｐ－ｐａｂｌｅｒ．ｅ．ｄｅｇｒｅｅｓ,ｉｓａｎｉｄｅａｌｉｎＲａｎｄＮＣ,ｔｈｅｓｅｔｏｆａｌｌｔｈｅｎｏｎｃａｐｐａｂｌｅｒ．ｅ．ｄｅｇｒｅｅｓ,ｉｓａｆｉｌ－ｔｅｒｉｎＲａｎｄＮＣ＝ＰＳ,ｔｈｅｓｅｔｏｆａｌｌｔｈｅｐｒｏｍｐｔｌｙｓｉｍｐｌｅｄｅｇｒｅｅｓ．Ｗｅｈａｖｅａｑｕｏｔｉｅｎｔｐａｒｔｉａｌｏｒｄｅｒｏｆｔｈｅｒ．…     

State-Homomorphisms on MV-Algebras

Riecan [12] and Chovanec [1] investigated states in MV-algebras. Earlier, Riecan [11] had dealt with analogous ideas in D-posets. In the monograph of Riecan and Neubrunn [13] (Chapter 9) the notion of state is applied in the theory of probability on MV-algebras. We remark that a different definition of a state in an MV-algebra has been applied by Mundici [9], [10] (namely, the condition (iii) from Definition 1.1 above was not included in his definition of a state; in other words, only finite additivity was assumed). Below we work with the definition from [13]; but, in order to avoid terminological problems we use the term "state-homomorphism" (instead of "state"). The author is indebted to the referee for his suggestion concerning terminology. Let be an MV-algebra which is defined on a set A with card A>1. In the present paper we show that there exists a one-to-one correspondence between the system of all state-homomorphisms on and the system of all -closed maximal ideals of . For MV-algebras we apply the notation and the definitions as in Gluschankof [3]. The relations between MV-algebras and abelian lattice ordered groups (cf. Mundici [8]) are substantially used in the present paper.     

Monadic <Emphasis Type="Italic">GMV</Emphasis>-algebras

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed. The first author was supported by the Council of Czech Government, MSM 6198959214.     

On a homogeneity condition for MV-algebras

In this paper we deal with a homogeneity condition for an MV-algebra concerning a generalized cardinal property. As an application, we consider the homogeneity with respect to α-completeness, where α runs over the class of all infinite cardinals. This work was supported by VEGA grant 1/9056/02.     

Monadic Bounded Commutative Residuated ℓ-monoids

Bounded commutative residuated ℓ-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce and study monadic residuated ℓ-monoids as a generalization of monadic MV-algebras. Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.     

On idempotent modifications of <Emphasis Type="Italic">MV</Emphasis>-algebras

The notion of idempotent modification of an algebra was introduced by Ježek. He proved that the idempotent modification of a group is subdirectly irreducible. For an MV-algebra we denote by , A and the idempotent modification, the underlying set or the underlying lattice of , respectively. In the present paper we prove that if is semisimple and is a chain, then is subdirectly irreducible. We deal also with a question of Ježek concerning varieties of algebras.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Isometries of generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

In this paper we investigate the relations between isometries and direct product decompositions of generalized MV-algebras.     

Radical classes and weak radical mappings of GMV-algebras

We use the concept of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis; the main tool in their investigation was a truncation construction. The relations between radical classes of GMV-algebras and radical classes of lattice ordered groups are investigated in the present paper. Further, we apply the truncation construction for dealing with weak retract mappings of GMV-algebras. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information (Grant I/2/2005).     

Weak homogeneity and Pierce’s theorem for MV-algebras

In this paper we prove a theorem on weak homogeneity of MV-algebras which generalizes a known result on weak homogeneity of Boolean algebras. Further, we consider a homogeneity condition for MV-algebras which is defined by means of an increasing cardinal property.     

Quasivarieties of pseudo-<Emphasis Type="Italic">MV</Emphasis>-algebras

Denote by Υ₁ the collection of quasivarieties of pseudo-MV-algebras; and by Υ₂, the collection of quasivarieties of lattice-ordered groups. With respect to the set-theoretic inclusion, Υ₁ and Υ₂ are lattices. We note some properties of Υ₁ and construct an injective mapping φ of Υ₂ into Υ₁ such that Z ₁?Z ₂??(Z ₁)??(Z ₂) for all Z ₁, Z ₂ ∈ Υ₂.     

Negation in bounded commutative DRℓ-monoids

The class of commutative dually residuated lattice ordered monoids (DRℓ-monoids) contains among others Abelian lattice ordered groups, algebras of Hájek’s Basic fuzzy logic and Brouwerian algebras. In the paper, a unary operation of negation in bounded DRℓ-monoids is introduced, its properties are studied and the sets of regular and dense elements of DRℓ-monoids are described.     

Convex Chains in a Pseudo MV-Algebra

For a pseudo MV-algebra we denote by the underlying lattice of . In the present paper we investigate the algebraic properties of maximal convex chains in containing the element 0. We generalize a result of Dvureenskij and Pulmannová.     

On intervals and isometries of MV-algebras

Let Int be the lattice of all intervals of an MV-algebra . In the present paper we investigate the relations between direct product decompositions of and (i) the lattice Int , or (ii) 2-periodic isometries on , respectively.     

Modal operators on bounded commutative residuated <Emphasis Type="Italic">ℓ</Emphasis>-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVá,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Direct summands and retract mappings of generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

In the present paper we deal with generalized MV-algebras (GMV-algebras, in short) in the sense of Galatos and Tsinakis. According to a result of the mentioned authors, GMV-algebras can be obtained by a truncation construction from lattice ordered groups. We investigate direct summands and retract mappings of GMV-algebras. The relations between GMV-algebras and lattice ordered groups are essential for this investigation. Supported by VEGA Agency grant 1/2002/05. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, grant I/2/2005.     

Banaschewski’s theorem for generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

A generalized MV-algebra A is called representable if it is a subdirect product of linearly ordered generalized MV-algebras. Let S be the system of all congruence relations ϱ on A such that the quotient algebra A/ϱ is representable. In the present paper we prove that the system S has a least element. This work was supported by Science and Technology Assistance Agency under Contract No AVPT-51-032002. The work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).