Cyclic Elements in MV‐Algebras and Post Algebras

Mathematical Logic Quarterly 40 (4):431-444 (1994)
  Copy   BIBTEX

Abstract

In this paper we characterize the MV-algebras containing as subalgebras Post algebras of finitely many orders. For this we study cyclic elements in MV-algebras which are the generators of the fundamental chain of the Post algebras

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,941

External links

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

Through your library

Similar books and articles

On Vaught’s Conjecture and finitely valued MV algebras.Antonio Di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Representations of MV-algebras by sheaves.Anna R. Ferraioli & Ada Lettieri - 2011 - Mathematical Logic Quarterly 57 (1):27-43.
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.

Analytics

Added to PP
2013-12-01

Downloads
41 (#535,987)

6 months
8 (#544,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.
An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Logic, Semantics, Metamathematics.Atwell Turquette - 1958 - Philosophical Review 67 (1):113.
Standard Gödel Modal Logics.Xavier Caicedo & Ricardo O. Rodriguez - 2010 - Studia Logica 94 (2):189-214.
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.

View all 6 references / Add more references