Varieties of linear calculi

DOI10.1023/A:1021264102972zbMath1016.03065MaRDI QIDQ1868337

Sara Negri

Publication date: 27 April 2003

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

sequent calculuslinear logicnatural deductionintuitionistic linear logicinversion principlegeneral rules

Mathematics Subject Classification ID

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)

Related Items

On Inversion Principles, Harmony in multiple-conclusion natural-deduction, Inversion Principles and Introduction Rules

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Permutability of proofs in intuitionistic sequent calculi
• Natural deduction with general elimination rules
• A normalizing system of natural deduction for intuitionistic linear logic
• A natural extension of natural deduction
• Sequent calculus in natural deduction style
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics