scholarly journals MV-algebras and Partially Cyclically Ordered Groups

Order ◽  
2021 ◽  
Author(s):  
Gérard Leloup
Keyword(s):  
Ordered Groups ◽  
Mv Algebras

Quantum B-algebras

2013 ◽  
Vol 11 (11) ◽  
Author(s):  
Wolfgang Rump
Keyword(s):  
Number Theory ◽  
Algebraic Number Theory ◽  
Connected Components ◽  
Effect Algebras ◽  
Algebraic Semantics ◽  
Partially Ordered ◽  
Ordered Groups ◽  
Group A ◽  
Ordered Algebras ◽  
Mv Algebras

AbstractThe concept of quantale was created in 1984 to develop a framework for non-commutative spaces and quantum mechanics with a view toward non-commutative logic. The logic of quantales and its algebraic semantics manifests itself in a class of partially ordered algebras with a pair of implicational operations recently introduced as quantum B-algebras. Implicational algebras like pseudo-effect algebras, generalized BL- or MV-algebras, partially ordered groups, pseudo-BCK algebras, residuated posets, cone algebras, etc., are quantum B-algebras, and every quantum B-algebra can be recovered from its spectrum which is a quantale. By a two-fold application of the functor “spectrum”, it is shown that quantum B-algebras have a completion which is again a quantale. Every quantale Q is a quantum B-algebra, and its spectrum is a bigger quantale which repairs the deficiency of the inverse residuals of Q. The connected components of a quantum B-algebra are shown to be a group, a fact that applies to normal quantum B-algebras arising in algebraic number theory, as well as to pseudo-BCI algebras and quantum BL-algebras. The logic of quantum B-algebras is shown to be complete.

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

scholarly journals Cyclic ordered groups and MV-algebras

1993 ◽  
Vol 43 (2) ◽  
pp. 249-263 ◽  
Author(s):  
Daniel Gluschankof
Keyword(s):  
Ordered Groups ◽  
Mv Algebras
Sign in / Sign up

Export Citation Format

Share Document