5 papers
The complexity of the Chinese Remainder Theorem
Miguel Campercholi, Diego Castaño, Gonzalo Zigarán
The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This state…
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…
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…
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…
Monadic BL-algebras: the equivalent algebraic semantics of Hájek's monadic fuzzy logic
Diego Castaño, Cecilia Cimadamore, José Patricio Díaz Varela +1
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators and . After a study of the basic properties of…