Varieties of linear calculi

DOI10.1023/A:1021264102972zbMATH Open1016.03065MaRDI QIDQ1868337FDOQ1868337

Authors: Sara Negri 

Publication date: 27 April 2003

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Natural deduction with general elimination rules
• A natural extension of natural deduction
• Title not available (Why is that?)
• A normalizing system of natural deduction for intuitionistic linear logic
• Title not available (Why is that?)
• Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
• Sequent calculus in natural deduction style
• Permutability of proofs in intuitionistic sequent calculi
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

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)