Open Access
2010 Metalogic of Intuitionistic Propositional Calculus
Alex Citkin
Notre Dame J. Formal Logic 51(4): 485-502 (2010). DOI: 10.1215/00294527-2010-031

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

Download 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

Published: 2010
First available in Project Euclid: 29 September 2010

zbMATH: 1215.03041
MathSciNet: MR2741839
Digital Object Identifier: 10.1215/00294527-2010-031

Subjects:
Primary: 03B55 , 03F45
Secondary: 06D20

Keywords: admissible rule , Heyting algebra , intermediate logic , Intuitionistic logic , modal logic , monadic algebra

Rights: Copyright © 2010 University of Notre Dame

Vol.51 • No. 4 • 2010
Back to Top