3 papers
math.LO2026
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,…
math.LO2024
Subresiduated Nelson Algebras
Noemí Lubomirsky, Paula Menchón, Hernán San Martín
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introd…
math.LO2023
Betweenness algebras
Ivo Duentsch, Rafal Gruszczynski, Paula Menchon
We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms fo…