5 citations · 7 across the 4 of their papers we have counts for
5 papers
Tabular intermediate logics comparison
Paweł Rzążewski, Michał Stronkowski
Tabular intermediate logics are intermediate logics characterized by finite posets treated as Kripke frames. For a poset , let denote the corresponding…
On the Blok-Esakia theorem for universal classes
Michał M. Stronkowski
The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension…
Profiniteness in finitely generated varieties is undecidable
Anvar M. Nurakunov, Michał M. Stronkowski
Profinite algebras are exactly those that are isomorphic to inverse limits of finite algebras. Such algebras are naturally equipped with Boolean topologies. A variety …
On structural completeness vs almost structural completeness problem: A discriminator varieties case study
Miguel Campercholi, Michal M. Stronkowski, Diego Vaggione
We study the following problem: Determine which almost structurally complete quasivarieties are structurally complete. We propose a general solution to this problem and then a solu…
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…