Boolean Skeletons of MV-algebras and ℓ-groups
Studia Logica 98 (1-2):141-147 (2011)
| Abstract | Let Γ be Mundici’s functor from the category $${\mathcal{LG}}$$ whose objects are the lattice-ordered abelian groups ( ℓ -groups for short) with a distinguished strong order unit and the morphisms are the unital homomorphisms, onto the category $${\mathcal{MV}}$$ of MV-algebras and homomorphisms. It is shown that for each strong order unit u of an ℓ -group G , the Boolean skeleton of the MV-algebra Γ ( G , u ) is isomorphic to the Boolean algebra of factor congruences of G | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRoberto Cignoli & Daniele Mundici (1998). An Elementary Presentation of the Equivalence Between MV-Algebras and L-Groups with Strong Unit. Studia Logica 61 (1):49-64.
C. Cimadamore & J. P. Díaz Varela (2011). Monadic MV-Algebras Are Equivalent to Monadic ℓ-Groups with Strong Unit. Studia Logica 98 (1-2):175-201.
Anatolij Dvurečenskij (2000). On Categorical Equivalences of Commutative BCK-Algebras. Studia Logica 64 (1):21-36.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Wlesław Dziobiak (1982). Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra. Studia Logica 41 (4):415 - 428.
Francesco Paoli, Matthew Spinks & Robert Veroff (forthcoming). Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties. Logica Universalis.
Roberto Cignoli & Antoni Torrens (2012). Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term. Studia Logica 100 (6):1107-1136.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Bronisław Tembrowski (1983). The Theory of Boolean Algebras with an Additional Binary Operation. Studia Logica 42 (4):389 - 405.
Janusz Czelakowski (1979). Partial Boolean Algebras in a Broader Sense. Studia Logica 38 (1):1 - 16.
William P. Hanf & Dale Myers (1983). Boolean Sentence Algebras: Isomorphism Constructions. Journal of Symbolic Logic 48 (2):329-338.
José Luis Castiglioni, Renato A. Lewin & Marta Sagastume (forthcoming). On a Definition of a Variety of Monadic ℓ-Groups. Studia Logica:1-26.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
Antoni Torrens (1987). W-Algebras Which Are Boolean Products of Members of SR[1] and CW-Algebras. Studia Logica 46 (3):265 - 274.
Analytics
Monthly downloads |
Added to index2011-07-20Total downloads2 ( #232,684 of 549,715 )Recent downloads (6 months)1 ( #63,425 of 549,715 )How can I increase my downloads? |
My notes
Discussion
