Functional completeness for subsystems of intuitionistic propositional logic
DOI10.1007/BF01049305zbMATH Open0776.03003MaRDI QIDQ1802397FDOQ1802397
Publication date: 19 August 1993
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Recommendations
intuitionistic logicproof-theoretic semanticssubstructural logicsadmissible connectiveshigher-level sequent calculusminimal propositional logicproof-theoretic proof of functional completeness
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- The semantics and proof theory of linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dialogspiele als Semantische Grundlage von Logikkalkülen
- The Mathematics of Sentence Structure
- A natural extension of natural deduction
- Sequent-systems and groupoid models. I
- Logics without the contraction rule
- Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik
- The adequacy problem for inferential logic
- Gentzenizing Schroeder-Heister's natural extension of natural deduction
- Logical connectives for intuitionistic propositional logic
- Title not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- Prawitz, Proofs, and Meaning
- Logical connectives for constructive modal logic
- The completeness of functional logic
- Title not available (Why is that?)
- Priest on Negation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Proof-functional connectives and realizability
- Simple characterization of functionally complete one-element sets of propositional connectives
- On Definability of Connectives and Modal Logics over FDE
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)
