Natural deduction bottom up
DOI10.1007/S10849-021-09329-8OpenAlexW3137378716MaRDI QIDQ2236507FDOQ2236507
Authors: 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
Recommendations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- The semantics and proof theory of linear logic
- Title not available (Why is that?)
- On an intuitionistic modal logic
- Untersuchungen über das logische Schliessen. II
- Title not available (Why is that?)
- Substructural Logics in Natural Deduction
- Title not available (Why is that?)
- Linear logic
- Intuitionism. An introduction
- The Mathematics of Sentence Structure
- Full Lambek Calculus in natural deduction
- A natural extension of natural deduction
- Title not available (Why is that?)
- Logic and structure
- A normalizing system of natural deduction for intuitionistic linear logic
- Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
- Natural deduction for intuitionistic linear logic
- Translations from natural deduction to sequent calculus
Cited In (2)
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)
