Functional completeness for subsystems of intuitionistic propositional logic

DOI10.1007/BF01049305MaRDI QIDQ1802397zbMATH OpenFDO

Authors Heinrich Wansing

Publication date 19 August 1993

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

Full work available at URL https://doi.org/10.1007/BF01049305

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

(16)

• scientific article; zbMATH DE number 3863173 (Why is no real title available?)
• Priest on negation
• Logical connectives for constructive modal logic
• Prawitz, Proofs, and Meaning
• The completeness of functional logic
• scientific article; zbMATH DE number 4134025 (Why is no real title available?)
• Failure of completeness in proof-theoretic semantics
• scientific article; zbMATH DE number 3865251 (Why is no real title available?)
• scientific article; zbMATH DE number 3895056 (Why is no real title available?)
• A note on the expressive completeness of LP in a metatheory without negation
• Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics
• The functional completeness of Leśniewski's systems
• Proof-functional connectives and realizability
• On definability of connectives and modal logics over \textbf{FDE}
• Completeness theory for propositional logics
• Simple characterization of functionally complete one-element sets of propositional connectives

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)