Metalogic of Intuitionistic Propositional Calculus
Alex Citkin · Notre Dame Journal of Formal Logic · 2010
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.