Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit

&
Studia Logica 98 (1-2):175-201 (2011)
  Copy   BIBTEX

Abstract

In this paper we extend Mundici’s functor Γ to the category of monadic MV-algebras. More precisely, we define monadic ℓ-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic ℓ-groups with strong unit. Some applications are given thereof.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-011-9332-4

Links

PhilArchive



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

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.
Representations of monadic MV -algebras.L. Peter Belluce, Revaz Grigolia & Ada Lettieri - 2005 - Studia Logica 81 (1):123-144.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Monadic GMV-algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Monadic fuzzy predicate logics.Petr Hájek - 2002 - Studia Logica 71 (2):165-175.
Monadic dynamic algebras.S. Marques Pinto, M. Teresa Oliveira-Martins & M. Céu Pinto - 2006 - Mathematical Logic Quarterly 52 (2):134-150.
On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.
Constructive Logic with Strong Negation is a Substructural Logic. I.Matthew Spinks & Robert Veroff - 2008 - Studia Logica 88 (3):325-348.
Pseudomonadic Algebras as Algebraic Models of Doxastic Modal Logic.Nick Bezhanishvili - 2002 - Mathematical Logic Quarterly 48 (4):624-636.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Monadic Distributive Lattices.Aldo Figallo, Inés Pascual & Alicia Ziliani - 2007 - Logic Journal of the IGPL 15 (5-6):535-551.
Monadic logic and löwenheim numbers.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 28 (2):203-216.

Analytics

Added to PP
2014-03-05

Downloads
16 (#906,902)

6 months
2 (#1,198,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

On monadic MV-algebras.Antonio Di Nola & Revaz Grigolia - 2004 - Annals of Pure and Applied Logic 128 (1-3):125-139.

Add more references