Representations of monadic MV -algebras

, &
Studia Logica 81 (1):123-144 (2005)
  Copy   BIBTEX

Abstract

Representations of monadic MV -algebra, the characterization of locally finite monadic MV -algebras, with axiomatization of them, definability of non-trivial monadic operators on finitely generated free MV -algebras are given. Moreover, it is shown that finitely generated m-relatively complete subalgebra of finitely generated free MV -algebra is projective

Categories

Keywords

Reprint years

DOI

10.1007/s11225-005-2805-6

Links

PhilArchive



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

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

Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Finitary Polyadic Algebras from Cylindric Algebras.Miklós Ferenczi - 2007 - Studia Logica 87 (1):1-11.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
The Variety of Lattice Effect Algebras Generated by MV-algebras and the Horizontal Sum of Two 3-element Chains.Radomír Halaš - 2008 - Studia Logica 89 (1):19-35.
Connections between BCK-algebras and difference posetse.Anatolij Dvurečenskij & Hee Sik Kim - 1998 - Studia Logica 60 (3):421-439.
On Complete Representations of Reducts of Polyadic Algebras.Tarek Sayed Ahmed - 2008 - Studia Logica 89 (3):325-332.
On Amalgamation in Algebras of Logic.Tarek Sayed Ahmed - 2005 - Studia Logica 81 (1):61-77.
On subdirectly irreducible OMAs.Richard Holzer - 2004 - Studia Logica 78 (1-2):261 - 277.
The writing of the MV-algebras.C. C. Chang - 1998 - Studia Logica 61 (1):3-6.
Representation of Game Algebras.Yde Venema - 2003 - Studia Logica 75 (2):239-256.
States on Hilbert Algebras.Cătălin Buşneag - 2010 - Studia Logica 94 (2):177-188.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
Łukasiewicz-Moisil Relation Algebras.Andrei Popescu - 2005 - Studia Logica 81 (2):167-189.
Ockham Algebras with Balanced Double Pseudocomplementation.Jie Fang - 2008 - Studia Logica 90 (2):189-209.
The First-Order Theories of Dedekind Algebras.George Weaver - 2003 - Studia Logica 73 (3):337-365.

Analytics

Added to PP
2009-01-28

Downloads
32 (#495,286)

6 months
10 (#260,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Varying interpolation and amalgamation in polyadic MV-algebras.Tarek Sayed Ahmed - 2015 - Journal of Applied Non-Classical Logics 25 (2):140-192.

View all 7 citations / Add more citations

References found in this work

Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.

View all 12 references / Add more references