Order:
Disambiguations
C. Cimadamore [3]Cecilia Cimadamore [1]
  1.  11
    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.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  13
    Monadic MV-Algebras Are Equivalent to Monadic ℓ-Groups with Strong Unit.C. Cimadamore & J. Díaz Varela - 2011 - Studia Logica 98 (1-2):175-201.
  3.  2
    An Algebraic Study of S5-Modal Gödel Logic.Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela & Laura Rueda - forthcoming - Studia Logica:1-31.
    In this paper we continue the study of the variety \ of monadic Gödel algebras. These algebras are the equivalent algebraic semantics of the S5-modal expansion of Gödel logic, which is equivalent to the one-variable monadic fragment of first-order Gödel logic. We show three families of locally finite subvarieties of \ and give their equational bases. We also introduce a topological duality for monadic Gödel algebras and, as an application of this representation theorem, we characterize congruences and give characterizations of (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark