A(nother) characterization of intuitionistic propositional logic

DOI10.1016/S0168-0072(01)00056-2zbMath0988.03045WikidataQ127972724 ScholiaQ127972724MaRDI QIDQ5957911

Rosalie Iemhoff

Publication date: 14 July 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logicadmissible rulesdisjunction propertyintermediate logicsKleene slashsuperintuitionistic logic

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items

Admissible inference rules and semantic property of modal logics, UNIFICATION IN INTERMEDIATE LOGICS, A Note on Extensions: Admissible Rules via Semantics, On unification and admissible rules in Gabbay-de Jongh logics, Globally admissible inference rules, An explicit basis for \textit{WCP}-globally admissible inference rules, An explicit basis for admissible inference rules in table modal logics of width 2, Unnamed Item, Admissibility and refutation: some characterisations of intermediate logics, Intermediate logics and Visser's rules, On the rules of intermediate logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Logical consecutions in discrete linear temporal logic, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Rules with parameters in modal logic. I.

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Admissibility of logical inference rules
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the admissible rules of intuitionistic propositional logic
• Disjunction and existence under implication in elementary intuitionistic formalisms
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• Unnamed Item
• Unnamed Item