The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

DOI10.1007/BF00263483MaRDI QIDQ1056741zbMATH OpenFDO

Authors Peter Schroeder-Heister

Publication date 1983

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

natural deductioninversion principlesemantics for intuitionistic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Metamathematics of constructive systems (03F50)

Cites work

• scientific article; zbMATH DE number 3115105 (Why is no real title available?)
• scientific article; zbMATH DE number 3813515 (Why is no real title available?)
• scientific article; zbMATH DE number 3630747 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Meaning and proofs: on the conflict between classical and intuitionistic logic

Cited in

(2)

• Proof-theoretic semantics: an autobiographical survey
• The validity of inference and argument

This page was built for publication: The completeness of intuitionistic logic with respect to a validity concept based on an inversion principle

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