There exist subdirectly irreducible commutative basic algebras of an arbitrary infinite cardinality which are not MV-algebras

It was recently proved by P. Wojciechowski that for any infinite cardinal there exists a linearly ordered MV-algebra of this cardinality. Since basic algebras are a (non-associative) generalization of MV-algebras, there rises a natural question if this is true also for basic algebras which are not MV-algebras. Using the construction by P. Wojciechowski and the modified construction by the first author, we can set up certain defectors which enable us to prove the result of the title.     

Elementarily λ-homogeneous binary functions

Characterizations of compact Hausdorff topological MV-algebras, StoneMV-algebras, and MV-algebras that are isomorphic to their profinite completionsare established. It is proved that compact Hausdorff topological MV-algebras areproducts (both topological and algebraic) of copies [0, 1] with the interval topologyand finite ?ukasiewicz chains with the discrete topology. Going one step further, wealso prove that Stone MV-algebras are products (both topological and algebraic) of finite ?ukasiewicz chains with the discrete topology. Finally, it is proved that an MV-algebra is isomorphic to its profinite completion if and only if it is profinite andeach of its maximal ideals of finite rank is principal.     

On some classes of state-morphism MV-algebras

Flaminio and Montagna recently introduced state MV-algebras as MV-algebras with an internal notion of a state. The present authors gave a stronger version of state MV-algebras, called state-morphism MV-algebras. We present some classes of state-morphism MV-algebras like local, simple, semisimple state-morphism MV-algebras, and state-morphism MV-algebras with retractive ideals. Finally, we describe state-morphism operators on m-free generated MV-algebras, m < ∞.     

Local algebras in the representation of MV-algebras

In this paper we present several results about local MV-algebras, extending existing results given for MV-chains. The role of local MV-algebras in sheaf representation and weak boolean product is stressed and the relationship of local MV-algebras with varieties of MV-algebras is analyzed. Presented by S. Pulmannova. Received November 11, 2005; accepted in final form December 20, 2005.     

State-morphism MV-algebras

We present a stronger variation of state MV-algebras, recently presented by T. Flaminio and F. Montagna, which we call state-morphism MV-algebras. Such structures are MV-algebras with an internal notion, a state-morphism operator. We describe the categorical equivalences of such (state-morphism) state MV-algebras with the category of unital Abelian ?-groups with a fixed state operator and present their basic properties. In addition, in contrast to state MV-algebras, we are able to describe all subdirectly irreducible state-morphism MV-algebras.     

MV-semirings and their Sheaf Representations

In this paper we show that the classes of MV-algebras and MV-semirings are isomorphic as categories. This approach allows one to keep the inspiration and use new tools from semiring theory to analyze the class of MV-algebras. We present a representation of MV-semirings by MV-semirings of continuous sections in a sheaf of commutative semirings whose stalks are localizations of MV-semirings over prime ideals. Using the categorical equivalence, we obtain a representation of MV-algebras.     

Weak MV-algebras

In a recent paper [CHAJDA, I.—KüHR, J.: A non-associative generalization of MV-algebras, Math. Slovaca 57, (2007), 301–312], authors introduced and studied a non-associative generalization of MV-algebras called NMV-algebras. In contrast to MV-algebras, sections (i.e. principal filters) in NMV-algebras which are proper (i.e. are not MV-algebras), do not admit a structure of an NMV-algebra with respect to the operations defined in a natural way. The aim of the paper is to present a new class of algebras generalizing MV-algebras but sharing the above property. The financial support by the grant of Czech Government MSM 6198959214 is gratefully acknowledged.     

States on commutative basic algebras

The paper deals with states on commutative basic algebras that are a non-associative generalization of MV-algebras or, in other words, the algebraic semantics for a fuzzy logic which generalizes the ?ukasiewicz logic in that the conjunction is not associative. States are defined in the same way as Mundici's states on MV-algebras as normalized finitely additive [0,1]-valued functions, and some results analogous to the results that are known from MV-algebras are proved.     

MV-algebras with operators (the commutative and the non-commutative case)

In the present paper we define the (pseudo) MV-algebras with n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding ℓ-group. We also provide a categorical framework and we prove the analogue of Mundici's categorical equivalence between MV-algebras and abelian ℓ-groups with strong unit. Thus, the category of pseudo MV-algebras with operators is equivalent to some category of ℓ-groups with operators.     

Representation theory of MV-algebras

In this paper we develop a general representation theory for MV-algebras. We furnish the appropriate categorical background to study this problem. Our guide line is the theory of classifying topoi of coherent extensions of universal algebra theories. Our main result corresponds, in the case of MV-algebras and MV-chains, to the representation of commutative rings with unit as rings of global sections of sheaves of local rings. We prove that any MV-algebra is isomorphic to the MV-algebra of all global sections of a sheaf of MV-chains on a compact topological space. This result is intimately related to McNaughton’s theorem, and we explain why our representation theorem can be viewed as a vast generalization of McNaughton’s theorem. In spite of the language used in this abstract, we have written this paper in the hope that it can be read by experts in MV-algebras but not in sheaf theory, and conversely.     

Graphic representation of MV-algebra pastings

We deal with a construction of some difference posets via a method of a pasting of MV-algebras. We generalize Greechie diagrams used in MV-algebra pastings. We give necessary and sufficient conditions under which the resulting pasting of an admissible system MV-algebras is a lattice-ordered D-poset.     

Yosida Type Representation for Perfect MV-Algebras

In [9] Mundici introduced a categorical equivalence Γ between the category of MV-algebras and the category of abelian ??-groups with strong unit. Using Mundici's functor Γ, in [8] the authors established an equivalence between the category of perfect MV-algebras and the category of abelian ??-groups. Aim of the present paper is to use the above functors to provide Yosida like representations (see [4]) of a large class of MV-algebras. Mathematics Subject Classification: 03G20, 03B50, 06D30, 06F20.     

Perfect MV-algebras and their Logic

In this paper, after recounting the basic properties of perfect MV-algebras, we explore the role of such algebras in localization issues. Further, we analyze some logics that are based on Łukasiewicz connectives and are complete with respect to linearly ordered perfect MV-algebras.      

Cyclic Elements in MV-Algebras and Post Algebras

In this paper we characterize the MV-algebras containing as subalgebras Post algebras of finitely many orders. For this we study cyclic elements in MV-algebras which are the generators of the fundamental chain of the Post algebras. Mathematics Subject Classification: 03G20, 03G25, 06D25, 06D30, 06F15, 06F35.     

Covers of the Abelian Variety of Generalized MV-Algebras

Using the categorical equivalence of the class of generalized MV-algebras with the class of unital ?-groups, we describe all varieties of symmetric top abelian unital ?-groups that cover the variety  _u? of abelian unital ?-groups. Equivalently, we describe all cover varieties of the variety of MV-algebras, ?, within the variety of generalized MV-algebras admitting only one negation and each of whose maximal ideals is normal. In particular, there are continuum many representable varieties of generalized MV-algebras that cover ?.     

Good and Bad Infinitesimals,and States on Pseudo MV-algebras

We study relations among the set of infinitesimal elements of pseudo MV-algebras and the problem of existence of states on them. This is important because in contrast to MV-algebras, it can happen that a pseudo MV-algebra has no states, so no probabilistic evaluation of events on it is possible. We introduce two kinds of radicals, and we deal with their relation. In some cases, they are completely different, which is not the case for MV-algebras. We give many interesting examples describing different situations, and we deal in more details with a subvariety of symmetric pseudo MV-algebras, where both complements coincide. Mathematics Subject Classifications (2000) 06D35, 03B50, 03G12.     

Subdirectly irreducible state-morphism BL-algebras

Recently Flaminio and Montagna (Proceedings of the 5th EUSFLAT Conference, II: 201?C206. Ostrava, 2007), (Inter. J. Approx. Reason. 50:138?C152, 2009) introduced the notion of a state MV-algebra as an MV-algebra with internal state. We have two kinds: state MV-algebras and state-morphism MV-algebras. These notions were also extended for state BL-algebras in (Soft Comput. doi:10.1007/s00500-010-0571-5). In this paper, we completely describe subdirectly irreducible state-morphism BL-algebras and this generalizes an analogous result for state-morphism MV-algebras presented in (Ann. Pure Appl. Logic 161:161?C173, 2009).     

On varieties of MV-algebras with internal states

In [4] and [5] the authors introduced the variety SMV of MV-algebras with an internal operator, state MV-algebras. In [2] and [3] the authors gave a stronger version of state MV-algebras, called state-morphism MV-algebras. In this paper we continue the studies presented in [2] and [3] just looking at several proper subvarieties of SMV, obtained by imposing suitable conditions on the behavior of the internal operator.     

State morphism MV-algebras

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators of the variety of SMMV-algebras, and show that we have a continuum of varieties of SMMV-algebras.