1 citations · 1 across the 6 of their papers we have counts for
6 papers
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 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…
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 struct…
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…
From contact relations to modal operators, and back
Rafał Gruszczyński, Paula Menchón
One of the standard axioms for Boolean Contact Algebras says that if a region x is in contact with the join of y and z, then x is in contact with at least one of the two regions. O…
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…