Showing math.LOShow all
3 papers · 1 filter
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
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.LO2021
A topological duality for monotone expansions of semilattices
Ismael Calomino, Paula Menchón, William J. Zuluaga Botero
In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in \cite{Celani2020} for semilattices together with a topologica…