Abstract
With each superintuitionistic propositional logic L with a disjunction property we associate a set of modal logics the assertoric fragment of which is L. Each formula of these modal logics is interdeducible with a formula representing a set of rules admissible in L. The smallest of these logics contains only formulas representing derivable in L rules while the greatest one contains formulas corresponding to all admissible in L rules. The algebraic semantic for these logics is described.
Citation
Alex Citkin. "Metalogic of Intuitionistic Propositional Calculus." Notre Dame J. Formal Logic 51 (4) 485 - 502, 2010. https://doi.org/10.1215/00294527-2010-031
Information