Subframization and stabilization for superintuitionistic logics
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin · Journal of Logic and Computation · 2019
With each superintuitionistic logic (si-logic for short), we associate its downward and upward subframizations and characterize them by means of Zakharyaschev’s canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic |$\textsf{PLL}$|. In an analogous fashion, with each si-logic, we associate its downward and upward stabilizations and characterize them by means of stable canonical formulas, as well as by embedding si-logics into extensions of the intuitionistic |$\textsf{S4}$|.