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

DOI10.1007/BF00263483zbMath0523.03005MaRDI QIDQ1056741

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) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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