Subframization and stabilization for superintuitionistic logics
Guram Bezhanishvili, Nick Bezhanishvili, Julia Ilin

Abstract:
With each superinuitionistic logic (si-logic), we associate its downward and upward subframizations, and characterize them by means of Zakharsyachev's canonical formulas, as well as by embedding si-logics into the extensions of the propositional lax logic. 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 S4.