A characterization of MV-algebras free over finite distributive lattices

Archive for Mathematical Logic 47 (3):263-276 (2008)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-008-0084-4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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 q-distributive lattices.Roberto Cignoli - 1996 - Studia Logica 56 (1-2):23 - 29.
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.
On varieties of biresiduation algebras.C. J. van Alten - 2006 - Studia Logica 83 (1-3):425-445.

Analytics

Added to PP
2013-11-23

Downloads
15 (#923,100)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
Metamathematics of Fuzzy Logic.Petr Hájek - 1998 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Book Reviews. [REVIEW]P. Hájek - 2002 - Studia Logica 72 (3):433-443.
A Characterization of the free n-generated MV-algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.

Add more references