On monadic MV-algebras

&
Annals of Pure and Applied Logic 128 (1-3):125-139 (2004)
  Copy   BIBTEX

Abstract

We define and study monadic MV-algebras as pairs of MV-algebras one of which is a special case of relatively complete subalgebra named m-relatively complete. An m-relatively complete subalgebra determines a unique monadic operator. A necessary and sufficient condition is given for a subalgebra to be m-relatively complete. A description of the free cyclic monadic MV-algebra is also given

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2003.11.031

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

Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit.C. Cimadamore & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
Monadic MV-algebras are Equivalent to Monadic?-groups with Strong Unit.C. Cimadamore & J. P. D.?az Varela - 2011 - Studia Logica 98 (1-2):175-201.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Construction of monadic three-valued łukasiewicz algebras.Luiz Monteiro, Sonia Savini & Julio Sewald - 1991 - Studia Logica 50 (3-4):473 - 483.
Involutions defined by monadic terms.Renato A. Lewin - 1988 - Studia Logica 47 (4):387 - 389.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
On a Definition of a Variety of Monadic ℓ-Groups.José Luis Castiglioni, Renato A. Lewin & Marta Sagastume - 2014 - Studia Logica 102 (1):67-92.
Functional Monadic Bounded Algebras.Robert Goldblatt - 2010 - Studia Logica 96 (1):41 - 48.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Interpretations into monadic algebras.Renato A. Lewin - 1987 - Studia Logica 46 (4):329 - 342.

Analytics

Added to PP
2014-01-16

Downloads
33 (#472,429)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Monadic NM-algebras.Juntao Wang, Pengfei He & Yanhong She - 2019 - Logic Journal of the IGPL 27 (6):812-835.

View all 15 citations / Add more citations

References found in this work

A theorem about infinite-valued sentential logic.Robert McNaughton - 1951 - Journal of Symbolic Logic 16 (1):1-13.
Further results on infinite valued predicate logic.L. P. Belluce - 1964 - Journal of Symbolic Logic 29 (2):69-78.

View all 6 references / Add more references