Substructural Logics in Natural Deduction

DOI10.1093/JIGPAL/JZM008MaRDI QIDQ5435112zbMATH OpenOpenAlexFDO

Authors Ernst Zimmermann

Publication date 14 January 2008

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzm008

zbMATH Keywords

contractionlinear logicnatural deductionsubstructural logicsrelevant logicnormalisationstructural rulesBCK logicweakening

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Labelled natural deduction for substructural logics
• scientific article; zbMATH DE number 1907195
• Substructural logics: a primer
• SUBSTRUCTURAL INQUISITIVE LOGICS
• scientific article; zbMATH DE number 1406811
• Substructural logic of proofs
• scientific article; zbMATH DE number 1975400
• scientific article; zbMATH DE number 3902624
• scientific article; zbMATH DE number 4053610
• scientific article; zbMATH DE number 823607

Cited in

(30)

• Subformula and separation properties in natural deduction via small Kripke models
• Current trends in substructural logics
• Substructural logic and partial correctness
• Synthesized substructural logics
• scientific article; zbMATH DE number 1107619 (Why is no real title available?)
• Substructural logics with mingle
• scientific article; zbMATH DE number 591901 (Why is no real title available?)
• Formalized meta-theory of sequent calculi for substructural logics
• Natural deduction bottom up
• Full Lambek Calculus in natural deduction
• Proper semantics for substructural logics, from a stalker theoretic point of view
• Extending intuitionistic linear logic with knotted structural rules
• Off-line parsability and the well-foundedness of subsumption
• On structural inference rules for Gentzen-style natural deduction. I
• Conuclear images of substructural logics
• Investigations into a left-structural right-substructural sequent calculus
• CHR: a constructive relevant natural-deduction logic
• scientific article; zbMATH DE number 517068 (Why is no real title available?)
• Refinements of subatomic natural deduction
• Eight rules for implication elimination
• Skolemization for Substructural Logics
• A natural extension of natural deduction
• Structural Rules in Natural Deduction with Alternatives
• Natural deduction systems for some non-commutative logics
• Hiroakira Ono on Substructural Logics
• scientific article; zbMATH DE number 956469 (Why is no real title available?)
• Subintuitionistic logics
• scientific article; zbMATH DE number 7297101 (Why is no real title available?)
• scientific article; zbMATH DE number 1870417 (Why is no real title available?)
• Normal proofs, cut free derivations and structural rules

This page was built for publication: Substructural Logics in Natural Deduction

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