16 citations · 36 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
math.LO2014
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…
math.LO2014★ 14 cited
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…