Varieties of linear calculi

DOI10.1023/A:1021264102972MaRDI QIDQ1868337zbMATH OpenFDO

Authors Sara Negri

Publication date 27 April 2003

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

zbMATH Keywords

linear logicnatural deductionsequent calculusintuitionistic 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)

Recommendations

• scientific article; zbMATH DE number 512773
• Focused natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• A typed calculus based on a fragment of linear logic
• Natural Deduction and Weak Normalization for Full Linear Logic

Cites work

• scientific article; zbMATH DE number 1169377 (Why is no real title available?)
• scientific article; zbMATH DE number 2079018 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 874672 (Why is no real title available?)
• scientific article; zbMATH DE number 1406467 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A natural extension of natural deduction
• A normalizing system of natural deduction for intuitionistic linear logic
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Natural deduction with general elimination rules
• Permutability of proofs in intuitionistic sequent calculi
• Sequent calculus in natural deduction style

Cited in

(4)

• Inversion principles and introduction rules
• Harmony in multiple-conclusion natural-deduction
• On Inversion Principles
• An application of linear species

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Varieties of linear calculi

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