3 papers
math.LO2026
Ultracontact algebras and stack systems
Luca Carai, Ivo Düntsch, RafaÅ GruszczyÅski +1
We study the class of structures that, in a way, generalize various approaches to the contact relation on Boolean algebras.
math.LO2026
Towards a logic of affordances
Rafal Gruszczynski, Paula Menchón, Ivo Düntsch +1
We aim to construct a formal theory of affordances seen as ternary relations. Beginning with a characterization of affordances proposed by James J. Gibson, and utilizing the tools…
math.LO2025
On the preservation of unification type of Heyting algebras and interior algebras
Ivo Düntsch, Wojciech Dzik
The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the…