Archive for Mathematical Logic 47 (3):263-276 (2008)
| Abstract |
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
|
| Keywords | MV-algebras Łukasiewicz logic Lattice-ordered Abelian groups with a strong order unit Distributive lattices Free objects Order complexes Schauder bases |
| Categories | (categorize this paper) |
| DOI | 10.1007/s00153-008-0084-4 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
A Geometric Proof of the Completeness of the Łukasiewicz Calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
A Characterization of the Free N-Generated MV-Algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.
Citations of this work BETA
No citations found.
Similar books and articles
Boolean Skeletons of MV-Algebras and ℓ-Groups.Roberto Cignoli - 2011 - Studia Logica 98 (1-2):141-147.
Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Free Łukasiewicz Implication Algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
Infinite Substructure Lattices of Models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Free Łukasiewicz and Hoop Residuation Algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
Free Modal Lattices Via Priestley Duality.Claudia B. Wegener - 2002 - Studia Logica 70 (3):339 - 352.
An Elementary Presentation of the Equivalence Between MV-Algebras and L-Groups with Strong Unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Finitely Generated Free MV-Algebras and Their Automorphism Groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Decomposability of Free Łukasiewicz Implication Algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Gödel Algebras Free Over Finite Distributive Lattices.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Annals of Pure and Applied Logic 155 (3):183-193.
Analytics
Added to PP index
2013-11-23
Total views
12 ( #812,544 of 2,518,450 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,450 )
2013-11-23
Total views
12 ( #812,544 of 2,518,450 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,450 )
How can I increase my downloads?
Downloads
