Metalogic of intuitionistic propositional calculus

DOI10.1215/00294527-2010-031MaRDI QIDQ609765zbMATH OpenOpenAlexFDO

Authors 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

admissible ruleHeyting algebraintermediate logicmodal logicmonadic algebrasuperintuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• A(nother) characterization of intuitionistic propositional logic
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• scientific article; zbMATH DE number 4075019
• scientific article; zbMATH DE number 3935005
• scientific article; zbMATH DE number 4045716

Cited in

(18)

• One superintuitionistic calculus of propositions
• Continuality of the set of maximal superintuitionistic logics with the disjunction property
• Properties of superintuitionistic propositional calculi
• A Lindström theorem for intuitionistic propositional logic
• Beyond Rasiowan systems: unital deductive systems
• On applied theories with superintuitionistic logics
• scientific article; zbMATH DE number 5827852 (Why is no real title available?)
• scientific article; zbMATH DE number 3861126 (Why is no real title available?)
• scientific article; zbMATH DE number 4021104 (Why is no real title available?)
• scientific article; zbMATH DE number 4075019 (Why is no real title available?)
• scientific article; zbMATH DE number 1754648 (Why is no real title available?)
• scientific article; zbMATH DE number 2114313 (Why is no real title available?)
• scientific article; zbMATH DE number 2120405 (Why is no real title available?)
• Algebraic semantics for propositional superposition logic
• On the simple substitution property for superintuitionistic and modal propositional logics
• [Russian Text Ignored.]
• A(nother) characterization of intuitionistic propositional logic
• Syntax and semantics of superintuitionistic logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609765)