Functional completeness for subsystems of intuitionistic propositional logic

DOI10.1007/BF01049305MaRDI QIDQ1802397zbMATHFDO

Authors Heinrich Wansing

Publication date 19 August 1993

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

zbMATH Keywords

intuitionistic logicproof-theoretic semanticssubstructural logicsadmissible connectiveshigher-level sequent calculusminimal propositional logicproof-theoretic proof of functional completeness

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 3865251
• scientific article; zbMATH DE number 3863173
• Logical connectives for constructive modal logic
• Semantic characterization of intuitionistic logical connectives
• scientific article; zbMATH DE number 970629

Cites work

• scientific article; zbMATH DE number 3630747 (Why is no real title available?)
• scientific article; zbMATH DE number 700092 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• A natural extension of natural deduction
• Dialogspiele als Semantische Grundlage von Logikkalkülen
• Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
• Gentzenizing Schroeder-Heister's natural extension of natural deduction
• Logical connectives for intuitionistic propositional logic
• Logics without the contraction rule
• Sequent-systems and groupoid models. I
• The Mathematics of Sentence Structure
• The adequacy problem for inferential logic
• The semantics and proof theory of linear logic

Cited in

(14)

• Completeness theory for propositional logics
• Failure of completeness in proof-theoretic semantics
• On definability of connectives and modal logics over \textbf{FDE}
• Proof-functional connectives and realizability
• The completeness of functional logic
• Simple characterization of functionally complete one-element sets of propositional connectives
• scientific article; zbMATH DE number 4134025 (Why is no real title available?)
• scientific article; zbMATH DE number 3863173 (Why is no real title available?)
• Logical connectives for constructive modal logic
• The functional completeness of Leśniewski's systems
• Priest on negation
• Prawitz, Proofs, and Meaning
• scientific article; zbMATH DE number 3865251 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)

This page was built for publication: Functional completeness for subsystems of intuitionistic propositional logic

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