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

DOI10.1007/BF00263483zbMATH Open0523.03005MaRDI QIDQ1056741FDOQ1056741

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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Meaning and proofs: on the conflict between classical and intuitionistic logic
• Title not available (Why is that?)

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)