Labelled natural deduction for substructural logics

DOI10.1093/JIGPAL/7.3.283MaRDI QIDQ4255972zbMATH OpenOpenAlexFDO

Authors Marcelo Finger, Alessandra Russo, Krysia Broda

Publication date 11 January 2000

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

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

zbMATH Keywords

substructural logiccompletenessintuitionistic logiclinear logicnatural deductionsoundnessrelevance logicalgorithmic proceduresLabelled Deductive SystemsLKE tableaux system

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 1749009
• scientific article; zbMATH DE number 932649

Cited in

(8)

• Labelled Natural Deduction for Conditional Logics of Normality
• Substructural Logics in Natural Deduction
• scientific article; zbMATH DE number 516987 (Why is no real title available?)
• The universe of approximations
• Refinements of subatomic natural deduction
• A new basic set of transformations between proofs
• The universe of propositional approximations
• scientific article; zbMATH DE number 1421202 (Why is no real title available?)

This page was built for publication: Labelled natural deduction for substructural logics

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