Metalogic of intuitionistic propositional calculus

DOI10.1215/00294527-2010-031zbMath1215.03041OpenAlexW1987336677MaRDI QIDQ609765

Alex Citkin

Publication date: 1 December 2010

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-2010-031

zbMATH Keywords

modal logicHeyting algebramonadic algebraadmissible rulesuperintuitionistic logicintermediate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)

Related Items (1)

Beyond Rasiowan systems: unital deductive systems

This page was built for publication: Metalogic of intuitionistic propositional calculus