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

Autor:	Cecilia Rossana Cimadamore, J. P. Díaz Varela
Rok vydání:	2011
Předmět:	Discrete mathematics Functor History and Philosophy of Science Logic Computer Science::Logic in Computer Science Mathematics::Category Theory Equivalence (formal languages) Computational linguistics Computer Science::Formal Languages and Automata Theory Monadic predicate calculus Mathematics
Zdroj:	Studia Logica. 98:175-201
ISSN:	1572-8730 0039-3215
DOI:	10.1007/s11225-011-9332-4
Popis:	In this paper we extend Mundici's functor Γ to the category of monadic MV-algebras. More precisely, we define monadic l-groups and we establish a natural equivalence between the category of monadic MV-algebras and the category of monadic l-groups with strong unit. Some applications are given thereof.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::5681daf96a870a5083f0f9f840087d55 https://doi.org/10.1007/s11225-011-9332-4 Zobrazit plný text záznamu Full text from SpringerLink