1 citations · 1 across the 3 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
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…