16 citations · 36 across the 6 of their papers we have counts for
7 papers
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…
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…
Almost structural completeness; an algebraic approach
Wojciech Dzik, Michal M. Stronkowski
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness…
Characterizing intermediate tense logics in terms of Galois connections
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
We propose a uniform way of defining for every logic intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK…
Representing distributive lattices with Galois connections in terms of rough sets
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
This paper studies expansions of bounded distributive lattices equipped with a Galois connection. We introduce GC-frames and canonical frames for these algebras. The complex algebr…
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…
Intuitionistic logic with a Galois connection has the finite model property
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.