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

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


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



    Upload a copy of this work     Papers currently archived: 92,075

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

Involutions defined by monadic terms.Renato A. Lewin - 1988 - Studia Logica 47 (4):387 - 389.
Graph structure and monadic second-order logic: a language-theoretic approach.B. Courcelle - 2012 - New York: Cambridge University Press. Edited by Joost Engelfriet.
Hierarchies of monadic generalized quantifiers.Kerkko Luosto - 2000 - Journal of Symbolic Logic 65 (3):1241-1263.
Interpretations into monadic algebras.Renato A. Lewin - 1987 - Studia Logica 46 (4):329 - 342.
Leibniz and Monadic Domination.Shane Duarte - 2013 - Oxford Studies in Early Modern Philosophy 6:209-48.


Added to PP

15 (#949,044)

6 months
2 (#1,202,487)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Julian Diaz
University of South Florida