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.     

Prime spectra of non-commutative generalizations of MV-algebras

Non-commutative generalizations of MV-algebras were introduced by G. Georgescu and A. Iorgulesco as well as by the author; the generalizations are equivalent and are called GMV-algebras. We show that GMV-algebras can be considered as special cases of Grishin algebras. As MV-algebras are algebraic models of the Łukasiewicz logic and Grishin algebras have the analogous role for the classical bilinear logic, GMV-algebras correspond to a non-commutative logic between the above logics. Further, by A. Dvurečenskij, any GMV-algebra is isomorphic to an interval of an l-group, which in general is not commutative. This generalizes D. Mundici's representation of MV-algebras by means of intervals of abelian l-groups. In the paper (using this representation) we describe the properties of prime ideal spectra of GMV-algebras and of their factor algebras and ideals and prove that the spectrum of closed ideals of any GMV-algebra is homeomorphic to that of a completely distributive GMV-algebra. Received January 4, 2001; accepted in final form May 2, 2002.     

Interior and closure operators on bounded residuated lattice ordered monoids

GMV-algebras endowed with additive closure operators or with its duals-multiplicative interior operators (closure or interior GMV-algebras) were introduced as a non-commutative generalization of topological Boolean algebras. In the paper, the multiplicative interior and additive closure operators on DRl-monoids are introduced as natural generalizations of the multiplicative interior and additive closure operators on GMV-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).     

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.     

Formations of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

A class of lattice ordered groups is called a formation if it is closed with respect to homomorphic images and finite subdirect products. Analogously we define the formation of GMV-algebras. Let us denote by ℱ₁ and ℱ₂ the collection of all formations of lattice ordered groups or of GMV-algebras, respectively. Both ℱ₁ and ℱ₂ are partially ordered by the class-theoretical inclusion. We prove that ℱ₁ satisfies the infinite distributivity law and that ℱ₂ is isomorphic to a principal ideal of ℱ₁. This work was supported by VEGA grant 2/7141/27.     

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.     

Non-commutative Łukasiewicz propositional logic

The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved for this system.     

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

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

On a cancellation rule for subdirect products of lattice ordered groups and of <Emphasis Type="Italic">GMV</Emphasis>-algebras

The notion of internal subdirect decomposition can be defined in each variety of algebras. In the present note we prove the validity of a cancellation rule concerning such decompositions for lattice ordered groups and for GMV-algebras. For the case of groups, this cancellation rule fails to be valid. This work was partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information, Grant I/2/2005.     

A common generalization for MV-algebras and Łukasiewicz–Moisil algebras

We introduce the notion of n-nuanced MV-algebra by performing a Łukasiewicz–Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz–Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, n-nuanced MV-algebras amalgamate two distinct approaches to many valuedness: that of the infinitely valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil n-nuanced logic, which is more concerned with nuances of truth rather than truth degree. We study n-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of n-nuanced ordered group via an extension of the Γ construction is also analyzed.     

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.     

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.     

Perfect residuated lattice ordered monoids

Bounded Rℓ-monoids form a large subclass of the class of residuated lattices which contains certain of algebras of fuzzy and intuitionistic logics, such as GMV-algebras (= pseudo-MV-algebras), pseudo-BL-algebras and Heyting algebras. Moreover, GMV-algebras and pseudo-BL-algebras can be recognized as special kinds of pseudo-MV-effect algebras and pseudo-weak MV-effect algebras, i.e., as algebras of some quantum logics. In the paper, bipartite, local and perfect Rℓ-monoids are investigated and it is shown that every good perfect Rℓ-monoid has a state (= an analogue of probability measure).     

Generalizations of pseudo MV-algebras and generalized pseudo effect algebras

We deal with unbounded dually residuated lattices that generalize pseudo MV-algebras in such a way that every principal order-ideal is a pseudo MV-algebra. We describe the connections of these generalized pseudo MV-algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo MV-algebra A by means of the positive cone of a suitable ℓ-group G _A . We prove that the lattice of all (normal) ideals of A and the lattice of all (normal) convex ℓ-subgroups of G _A are isomorphic. We also introduce the concept of Archimedeanness and show that every Archimedean generalized pseudo MV-algebra is commutative. Supported by the Research and Development Council of the Czech Govenrment via the project MSM6198959214.     

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.     

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.     

On Free MV-Algebras

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