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.LO2025
A mixed logic with binary operators
Ivo Düntsch, RafaÅ GruszczyÅski, Paula Menchón
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators…
math.GM2024
Rotations of Gödel algebras with modal operators
Tommaso Flaminio, Lluis Godo, Paula Menchón +1
The present paper is devoted to study the effect of connected and disconnected rotations of Gödel algebras with operators grounded on directly indecomposable structures. The struc…