Natural deduction bottom up

DOI10.1007/s10849-021-09329-8OpenAlexW3137378716MaRDI QIDQ2236507

Ernst Zimmermann

Publication date: 25 October 2021

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-021-09329-8

zbMATH Keywords

Lambek calculuslinear logicnatural deductionintuitionistic logicnormalisation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Intuitionism. An introduction
• The semantics and proof theory of linear logic
• A normalizing system of natural deduction for intuitionistic linear logic
• On an intuitionistic modal logic
• Untersuchungen über das logische Schliessen. II
• Natural deduction for intuitionistic linear logic
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• The Mathematics of Sentence Structure
• Full Lambek Calculus in natural deduction
• A natural extension of natural deduction
• Translations from natural deduction to sequent calculus
• Substructural Logics in Natural Deduction
• Logic and structure