Weak % MathType!Translator!2!1!AMS LaTeX.tdl!TeX -- AMS-LaTeX! % MathType!MTEF!2!1!+- % feaafeart1ev1aqatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikamrr1n % gBPrMrYf2A0vNCaeHbfv3ySLgzGyKCHTgD1jhaiuaacqWFMaFBcqWF % SaalcaaMe8Uae83jW7Maaiykaiaab2cacaqGKbGaaeyAaiaabohaca % qG0bGaaeOCaiaabMgacaqGIbGaaeyDaiaabshacaqGPbGaaeODaiaa % bMgacaqG0bGaaeyEaaaa!566C! $$(\mathfrak{m},\;\mathfrak{n})$$-distributivity of lattice ordered groups and of generalized MV-algebras

2005 ◽  
Vol 10 (2) ◽  
pp. 119-124 ◽  
Author(s):  
Ján Jakubík
Keyword(s):  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebras

scholarly journals The Riesz Hull of a Semisimple MV-Algebra

2015 ◽  
Vol 65 (4) ◽  
Author(s):  
D. Diaconescu ◽  
I. Leuștean
Keyword(s):  
Vector Lattice ◽  
Strong Unit ◽  
Riesz Spaces ◽  
Vector Lattices ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebra ◽  
Standard Construction ◽  
Abelian Lattice ◽  
Mv Algebras

AbstractMV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong unit. A standard construction in the literature of lattice-ordered groups is the vector-lattice hull of an archimedean latticeordered group. Following a similar approach, in this paper we define the Riesz hull of a semisimple MV-algebra.

scholarly journals Equivalence à la Mundici for commutative lattice-ordered monoids

2021 ◽  
Vol 82 (3) ◽  
Author(s):  
Marco Abbadini
Keyword(s):  
Unary Operation ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebra ◽  
Abelian Lattice ◽  
Mv Algebras

AbstractWe provide a generalization of Mundici’s equivalence between unital Abelian lattice-ordered groups and MV-algebras: the category of unital commutative lattice-ordered monoids is equivalent to the category of MV-monoidal algebras. Roughly speaking, unital commutative lattice-ordered monoids are unital Abelian lattice-ordered groups without the unary operation $$x \mapsto -x$$ x ↦ - x . The primitive operations are $$+$$ + , $$\vee $$ ∨ , $$\wedge $$ ∧ , 0, 1, $$-1$$ - 1 . A prime example of these structures is $$\mathbb {R}$$ R , with the obvious interpretation of the operations. Analogously, MV-monoidal algebras are MV-algebras without the negation $$x \mapsto \lnot x$$ x ↦ ¬ x . The primitive operations are $$\oplus $$ ⊕ , $$\odot $$ ⊙ , $$\vee $$ ∨ , $$\wedge $$ ∧ , 0, 1. A motivating example of MV-monoidal algebra is the negation-free reduct of the standard MV-algebra $$[0, 1]\subseteq \mathbb {R}$$ [ 0 , 1 ] ⊆ R . We obtain the original Mundici’s equivalence as a corollary of our main result.

scholarly journals Proof theory for lattice-ordered groups

10.29007/3szk ◽  
2018 ◽  
Author(s):  
George Metcalfe
Keyword(s):  
Proof Theory ◽  
Family Resemblance ◽  
Substructural Logics ◽  
Residuated Lattices ◽  
Cut Elimination ◽  
Theoretic Approach ◽  
Gentzen Systems ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebras

Proof theory can provide useful tools for tackling problems in algebra. In particular, Gentzen systems admitting cut-eliminationhave been used to establish decidability, complexity, amalgamation, admissibility, and generation results for varieties of residuated lattices corresponding to substructural logics. However, for classes of algebras bearing some family resemblance to groups, such as lattice-ordered groups, MV-algebras, BL-algebras, and cancellative residuated lattices, the proof-theoretic approach has met so far only with limited success.The main aim of this talk will be to introduce proof-theoretic methods for the class of lattice-ordered groups and to explain how these methods can be used to obtain new syntactic proofs of two core theorems: namely, Holland's result that this class is generated as a variety by the lattice-ordered group of order-preserving automorphisms of the real numbers, and the decidability of the word problem for free lattice-ordered groups.

A relationship between the category of chain MV-algebras and a subcategory of abelian groups

2021 ◽  
Vol 71 (4) ◽  
pp. 1027-1045
Author(s):  
Homeira Pajoohesh
Keyword(s):  
Abelian Groups ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Abelian Lattice ◽  
Mv Algebras

Abstract The category of MV-algebras is equivalent to the category of abelian lattice ordered groups with strong units. In this article we introduce the category of circled abelian groups and prove that the category of chain MV-algebras is isomorphic with the category of chain circled abelian groups. In the last section we show that the category of chain MV-algebras is a subcategory of abelian cyclically ordered groups.

Banaschewski’s theorem for GMV-algebras

2012 ◽  
Vol 62 (2) ◽  
Author(s):  
Ján Jakubík
Keyword(s):  
Subdirect Product ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebras

AbstractBanaschewski’s theorem concerns subdirect product decompositions of lattice ordered groups. In the present paper we deal with the analogous investigation for the case of generalized MV -algebras (GMV -algebras, in short); we apply this notion in the sense studied by Galatos and Tsinakis.

Weak relatively uniform convergences on MV-algebras

2013 ◽  
Vol 63 (1) ◽  
Author(s):  
Štefan Černák ◽  
Ján Jakubík
Keyword(s):  
Present Article ◽  
Lattice Ordered Group ◽  
Ordered Group ◽  
Partially Ordered ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebra ◽  
Brouwerian Lattice ◽  
Mv Algebras ◽  
Natural Way

AbstractWeak relatively uniform convergences (wru-convergences, for short) in lattice ordered groups have been investigated in previous authors’ papers. In the present article, the analogous notion for MV-algebras is studied. The system s(A) of all wru-convergences on an MV-algebra A is considered; this system is partially ordered in a natural way. Assuming that the MV-algebra A is divisible, we prove that s(A) is a Brouwerian lattice and that there exists an isomorphism of s(A) into the system s(G) of all wru-convergences on the lattice ordered group G corresponding to the MV-algebra A. Under the assumption that the MV-algebra A is archimedean and divisible, we investigate atoms and dual atoms in the system s(A).

K-Radical classes and product radical classes of MV-algebras

2008 ◽  
Vol 58 (2) ◽  
Author(s):  
Ján Jakubík
Keyword(s):  
Analogous Result ◽  
Radical Class ◽  
Partially Ordered ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebra ◽  
One To One ◽  
Abelian Lattice ◽  
Mv Algebras

AbstractFor an MV-algebra let J 0() 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 0() ≅ J 0(), 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.

Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups

2007 ◽  
Vol 35 (11) ◽  
pp. 3370-3390 ◽  
Author(s):  
Anatolij Dvurečenskij ◽  
W. Charles Holland
Keyword(s):  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Mv Algebras
Sign in / Sign up

Export Citation Format

Share Document