5 papers
Duality Theory for Sequent Algebras
Sergio A. Celani, William Zuluaga
Sequent algebras were introduced by D. Vakarelov \cite{VakarelovSequentALg} as a generalization of contact algebras, replacing the binary contact relation with a relation between f…
A Modal Expansion of Kleene Algebras via Twist Structures
Sergio Celani, Paula Menchón, Valeria Miguelez
Kleene triples, introduced by Jalali, provide a representation of arbitrary Kleene algebras in terms of twist-products. We introduce modal Kleene algebras and modal Kleene triples,…
A bitopological duality for some subordination Boolean algebras
Sergio A. Celani
S4-subordination algebras are a generalization of the closure algebras. In this paper, we give a topological representation for S4-subordination algebras by means of bitopological…
Monotonic Distributive Semilattices
Sergio A. Celani, Ma. Paula Menchón
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarro…
Prelinear Hilbert algebras
Jose Luis Castiglioni, Sergio A. Celani, Hernan J. San Martin
In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the a…