3 papers
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…
math.LO2018
On the semilattice of modal operators and decompositions of the discriminator
Ivo Düntsch, Wojciech Dzik, Ewa Orłowska
We investigate the join semilattice of modal operators on a Boolean algebra . Furthermore, we consider pairs of modal operators whose supremum is the unary discriminator…
math.LO2012
Intuitionistic logic with two Galois connections combined with Fischer Servi axioms
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Earlier, the authors introduced the logic IntGC, which is an extension of intuitionistic propositional logic by two rules of inference mimicking the performance of Galois connectio…