Natural deduction bottom up

DOI10.1007/S10849-021-09329-8MaRDI QIDQ2236507zbMATH OpenOpenAlexFDO

Authors Ernst Zimmermann

Publication date 25 October 2021

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

intuitionistic logicLambek calculuslinear logicnatural deductionnormalisation

Mathematics Subject Classification ID

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

Recommendations

• Lambek Calculus in Natural Deduction
• Natural deduction with general elimination rules
• Focused natural deduction
• scientific article; zbMATH DE number 1406467
• Natural deduction via graphs: formal definition and computation rules

Cites work

• A natural extension of natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• Full Lambek Calculus in natural deduction
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 1406803 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Intuitionism. An introduction
• Linear logic
• Logic and structure
• Natural deduction for intuitionistic linear logic
• On an intuitionistic modal logic
• Substructural Logics in Natural Deduction
• The Mathematics of Sentence Structure
• The semantics and proof theory of linear logic
• Translations from natural deduction to sequent calculus
• Untersuchungen über das logische Schliessen. II

Cited in

(3)

• The naturality of natural deduction
• Full Lambek Calculus in natural deduction
• A classical first-order normalization procedure with and based on the Milne-Kürbis approach

This page was built for publication: Natural deduction bottom up

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