4 papers · 1 filter
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.
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…
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…
Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness
Ivo Düntsch, Wojciech Dzik
We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity…