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)

Full work available at URL https://doi.org/10.1023/A:1021264102972

zbMATH Keywords

general rulesintuitionistic linear logicinversion principlelinear logicnatural deductionsequent calculus

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

• 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
• 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?)
• Natural deduction with general elimination rules
• Permutability of proofs in intuitionistic sequent calculi
• Sequent calculus in natural deduction style

Cited in

(7)

• An application of linear species
• Harmony in multiple-conclusion natural-deduction
• On Inversion Principles
• Inversion principles and introduction rules
• Indicative conditionals and intuitionistic
• Gentzen-Mints-Zucker duality
• Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic

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)