On Categorical Equivalences of Commutative BCK-algebras

A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G ₀), where G is an Abelian ℓ-group, G ₀ is a subset of the positive cone generating G ⁺ such that if u, v ∈ G ₀, then 0 ∨ (u - v) ∈ G ₀, and morphisms are ℓ-group homomorphisms h: (G, G ₀) → (G′,G′₀) with f(G ₀) ⫅ G′₀. Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras). This revised version was published online in June 2006 with corrections to the Cover Date.     

States on Pseudo MV-Algebras

Pseudo MV-algebras are a non-commutative extension of MV-algebras introduced recently by Georgescu and Iorgulescu. We introduce states (finitely additive probability measures) on pseudo MV-algebras. We show that extremal states correspond to normal maximal ideals. We give an example in that, in contrast to classical MV-algebras introduced by Chang, states can fail on pseudo MV-algebras. We prove that representable and normal-valued pseudo MV-algebras admit at least one state.     

A Common Abstraction of MV-Algebras and Abelian l-groups

We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries.     

Frames and MV-algebras

We describe a class of MV-algebras which is a natural generalization of the class of “algebras of continuous functions”. More specifically, we're interested in the algebra of frame maps Hom (Ω(A), K) in the category T of frames, where A is a topological MV-algebra, Ω(A) the lattice of open sets of A, and K an arbitrary frame. Given a topological space X and a topological MV-algebra A, we have the algebra C (X, A) of continuous functions from X to A. We can look at this from a frame point of view. Among others we have the result: if K is spatial, then C(pt(K), A), pt(K) the points of K, embeds into Hom (Ω(A), K) analogous to the case of C (X, A) embedding into Hom (Ω(A), Ω (X)). 1991 Mathematics Subject Classification: 06F20, 06F25, 06D30 Presented by Ewa Orlowska     

The Dual Adjunction between MV-algebras and Tychonoff Spaces

We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that are definable in the language of MV-algebras. We then show that this dual adjunction restricts to a duality between semisimple MV-algebras and closed subspaces of Tychonoff cubes. The duality theorem for finitely presented objects is obtained by a further specialisation. Our treatment is aimed at showing exactly which parts of the basic theory of MV-algebras are needed in order to establish these results, with an eye towards future generalisations.     

Free Łukasiewicz and Hoop Residuation Algebras

Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which is a copy of the {, 1}-reduct of the same finite MV-algebra, i.e., of the same finite product of linearly ordered (simple) algebras. The cardinality of the product can be determined in principle, and an inclusion-exclusion type argument yields the cardinality of the free algebra. The methods are illustrated by applying them to various cases, both known (varieties generated by a finite linearly ordered Hilbert algebra) and new (residuation reducts of MV-algebras and of hoops).     

Duality Theory and Skeleta for Semisimple MV-Algebras

We start from Marra–Spada duality between semisimple MV-algebras and Tychonoff spaces, and we consider the particular cases when the \(\omega \)-skeleta of the MV-algebras are restricted in some way. In particular we consider antiskeletal MV-algebras, that is, the ones whose \(\omega \)-skeleton is trivial.     

The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras

We show the intimate relationship between McNaughton Theorem and the Chinese Remaindner Theorem for MV-algebras. We develop a very short and simple proof of McNaughton Theorem. The arguing is elementary and right out of the definitions. We exhibit the theorem as just an instance of the Chinese theorem. Since the variety of MV-algebras is arithmetic, the Chinese theorem holds for MV-algebras. However, to make this paper self-contained and entirely elementary, we include a simple proof of this theorem inspired in Ferraioli and Lettieri (Math Logic Q 1:27–43, 2011).     

Linearization of the BCK-logic

In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.     

Monadic MV-algebras are Equivalent to Monadic ?-groups with Strong Unit

In this paper we extend Mundici??s functor ?? to the category of monadic MV-algebras. More precisely, we define monadic ?-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ?-groups with strong unit. Some applications are given thereof.     

Perfect MV-algebras are categorically equivalent to abelianl-groups

In this paper we prove that the category of abelianl-groups is equivalent to the category of perfect MV-algebras. Furthermore, we give a finite equational axiomatization of the variety generated by perfect MV-algebras.Presented byDaniele Mundici     

On a property of BCK-identities

A BCK-algebra is an algebra in which the terms are generated by a set of variables, 1, and an arrow. We mean by aBCK-identity an equation valid in all BCK-algebras. In this paper using a syntactic method we show that for two termss andt, if neithers=1 nort=1 is a BCK-identity, ands=t is a BCK-identity, then the rightmost variables of the two terms are identical.This theorem was conjectured firstly in [5], and then in [3]. As a corollary of this theorem, we derive that the BCK-algebras do not form a variety, which was originally proved algebraically by Wroski ([4]).To prove the main theorem, we use a Gentzen-type logical system for the BCK-algebras, introduced by Komori, which consists of the identity axiom, the right and the left introduction rules of the implication, the exchange rule, the weakening rule and the cut. As noted in [2], the cut-elimination theorem holds for this system.Presented byJan Zygmunt     

Quasivarieties Generated by Simple MV-algebras

In this paper we show that the quasivariety generated by an infinite simple MV-algebra only depends on the rationals which it contains. We extend this property to arbitrary families of simple MV-algebras.     

States on Polyadic MV-algebras

This paper is a contribution to the algebraic logic of probabilistic models of ?ukasiewicz predicate logic. We study the MV-states defined on polyadic MV-algebras and prove an algebraic many-valued version of Gaifman’s completeness theorem.     

An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong Unit

Aim of this paper is to provide a self-contained presentation of the natural equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.     

Duality for Double Quasioperator Algebras via their Canonical Extensions

This paper is a study of duality in the absence of canonicity. Specifically it concerns double quasioperator algebras, a class of distributive lattice expansions in which, coordinatewise, each operation either preserves both join and meet or reverses them. A variety of DQAs need not be canonical, but as has been shown in a companion paper, it is canonical in a generalized sense and an algebraic correspondence theorem is available. For very many varieties, canonicity (as traditionally defined) and correspondence lead on to topological dualities in which the topological and correspondence components are quite separate. It is shown that, for DQAs, generalized canonicity is sufficient to yield, in a uniform way, topological dualities in the same style as those for canonical varieties. However topology and correspondence are no longer separable in the same way. Presented by Robert Goldblatt     

A Note on Bosbach’s Cone Algebras

In 2002, Dvure?enskij extended Mundici’s equivalence between unital abelian l-groups and MV-algebras to the non-commutative case. We analyse the relationship to Bosbach’s cone algebras and clarify the rôle of the corresponding pair of L-algebras. As a consequence, it follows that one of the two L-algebra axioms can be dropped.