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.     

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.     

Representation of perfect and local MV-algebras

We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0, 1]. Furthermore, we give a representation of local Abelian ℓ-groups with strong unit as quasi-constant functions on an ultraproduct of the reals. All the above theorems are proved to have a uniform version, depending only on the cardinality of the algebra to be embedded, as well as a definable construction in ZFC.     

MV-algebras: a variety for magnitudes with archimedean units

Chang’s MV-algebras, on the one hand, are the algebras of the infinite-valued Łukasiewicz calculus and, on the other hand, are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital ℓ-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no less important than the zero element, its archimedean property is not even definable in first-order logic. This gives added interest to the equivalent representation of unital ℓ-groups via the equational class of MV-algebras. In this paper we survey several applications of this equivalence, and various properties of the variety of MV-algebras.Dedicated to the Memory of Wim BlokReceived August 26, 2003; accepted in final form October 3, 2004.This revised version was published online in August 2005 with a corrected cover date.     

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.     

A characterization of MV-algebras free over finite distributive lattices

Mundici has recently established a characterization of free finitely generated MV-algebras similar in spirit to the representation of the free Boolean algebra with a countably infinite set of free generators as any Boolean algebra that is countable and atomless. No reference to universal properties is made in either theorem. Our main result is an extension of Mundici’s theorem to the whole class of MV-algebras that are free over some finite distributive lattice.      

Conservative extension of polyadic MV-algebras to polyadic pavelka algebras

In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras.     

MV-closures of Wajsberg hoops and applications

In this paper we construct, given a Wajsberg hoop A, an MV-algebra MV(A) such that the underlying set A of A is a maximal filter of MV(A) and the quotient MV(A)/A is the two element chain. As an application we provide a topological duality for locally finite Wajsberg hoops based on a previously known duality for locally finite MV-algebras. We also give another duality for k-valued Wajsberg hoops based on a different representation of k-valued MV-algebras and show the relation to the first duality. We also apply this construction to give a topological representation for free k-valued Wajsberg hoops.     

Representation and extension of states on MV-algebras

MV-algebras stand for the many-valued Łukasiewicz logic the same as Boolean algebras for the classical logic. States on MV-algebras were first mentioned [20] in probability theory and later also introduced in effort to capture a notion of `an average truth-value of proposition' [15] in Łukasiewicz many-valued logic. In the presented paper, an integral representation theorem for finitely-additive states on semisimple MV-algebra will be proven. Further, we shall prove extension theorems concerning states defined on sub-MV-algebras and normal partitions of unity generalizing in this way the well-known Horn-Tarski theorem for Boolean algebras. The author gratefully acknowledges the support of grant 201/02/1540 of the Grant Agency of the Czech Republic and the partial support by the project 1M6798555601 of the Ministry of Education, Youth and Sports of the Czech Republic.     

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.     

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

Representation of MV-algebras by regular ultrapowers of [0, 1]

We present a uniform version of Di Nola Theorem, this enables to embed all MV-algebras of a bounded cardinality in an algebra of functions with values in a single non-standard ultrapower of the real interval [0,1]. This result also implies the existence, for any cardinal α, of a single MV-algebra in which all infinite MV-algebras of cardinality at most α embed. Recasting the above construction with iterated ultrapowers, we show how to construct such an algebra of values in a definable way, thus providing a sort of “canonical” set of values for the functional representation.     

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.     

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.      

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.     

Subdirectly Irreducible MV-Algebras

In this note we characterize the one-generated subdirectly irreducible MV-algebras and use this characterization to prove that a quasivariety of MV-algebras has the relative congruence extension property if and only if it is a variety.     

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.