A discrete free MV-algebra over one generator

&
Journal of Applied Non-Classical Logics 11 (3-4):331-339 (2001)
  Copy   BIBTEX

Abstract

In this paper we give a representation of the free MV-algebra over one generator as a structure of functions having finite domain.

Categories

Keywords

Reprint years

DOI

10.3166/jancl.11.331-339

Links

PhilArchive



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

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

A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.
Finitely generated free Heyting algebras.Fabio Bellissima - 1986 - Journal of Symbolic Logic 51 (1):152-165.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
A Characterization of the free n-generated MV-algebra.Daniele Mundici - 2006 - Archive for Mathematical Logic 45 (2):239-247.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
Undecidable semiassociative relation algebras.Roger D. Maddux - 1994 - Journal of Symbolic Logic 59 (2):398-418.
Monadic Bounded Algebras.Galym Akishev & Robert Goldblatt - 2010 - Studia Logica 96 (1):1 - 40.
The Prime Spectrum of an MV‐Algebra.L. P. Belluce, Antonio Di Nola & Salvatore Sessa - 1994 - Mathematical Logic Quarterly 40 (3):331-346.
A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Description of Unstable Systems in Relativistic Quantum Mechanics in the Lax-Phillips Theory.L. P. Horwitz & Y. Strauss - 1998 - Foundations of Physics 28 (10):1607-1616.
A model in which every Boolean algebra has many subalgebras.James Cummings & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (3):992-1004.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.

Analytics

Added to PP
2014-01-21

Downloads
24 (#617,476)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A discrete representation of free MV-algebras.Antonio Di Nola, Revaz Grigolia & Luca Spada - 2010 - Mathematical Logic Quarterly 56 (3):279-288.

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.
A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.

Add more references