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

admissible connectiveshigher-level sequent calculusintuitionistic logicminimal propositional logicproof-theoretic proof of functional completenessproof-theoretic semanticssubstructural logics

Mathematics Subject Classification ID

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

Review text

In this paper a proof-theoretic proof of functional completeness is presented for a broad variety of substructural subsystems of intuitionistic and minimal propositional logic. The space of admissible connectives is described by rule schemata in a higher-level sequent calculus framework.

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

• 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
• 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?)
• Logical connectives for intuitionistic propositional logic
• Logics without the contraction rule
• Sequent-systems and groupoid models. I
• The adequacy problem for inferential logic
• The Mathematics of Sentence Structure
• The semantics and proof theory of linear logic

Cited in

(17)

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

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)