1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
math.HO2025
The Evolution of Rough Sets 1970s-1981
Viktor Marek, Ewa Orłowska, Ivo Düntsch
In this note research and publications by Zdzisław Pawlak and his collaborators from 1970s and 1981 are recalled. Focus is placed on the sources of inspiration which one can identi…
math.LO2023★ 1 cited
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…