3 papers
math.LO2020
An algebraic study of S5-modal Gödel logic
Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela +1
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…
math.LO2020
Subvarieties of Pseudocomplemented Kleene Algebras
Diego Castaño, Valeria Castaño, José Patricio Díaz Varela +1
In this paper we study the subdirectly irreducible algebras in the variety of pseudocomplemented De Morgan algebras by means of their De Morgan -spaces. We introdu…
math.LO2020
Algebraic expansions of logics and algebras and a case study of Abelian l-groups and perfect MV-algebras
Miguel Campercholi, Diego Castaño, José Patricio Díaz Varela +1
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form . For a logic algebraized by a qu…