Experiments in linear natural deduction

DOI10.1016/S0304-3975(96)00055-2MaRDI QIDQ1392279zbMATH OpenOpenAlexFDO

Authors Simone Martini, Andrea Masini

Publication date 23 July 1998

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(96)00055-2

zbMATH Keywords

natural deductionproof-theoretical propertiesfragments of multiplicative linear logicpar connectivetensorial fragment

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Logic in computer science (03B70)

Recommendations

• Natural Deduction and Weak Normalization for Full Linear Logic
• Natural deduction for intuitionistic linear logic
• A Parigot-style linear \(\lambda\)-calculus for full intuitionistic linear logic
• scientific article; zbMATH DE number 1342286

Cites work

• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 4055576 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume II
• Full intuitionistic linear logic
• Natural deduction for intuitionistic linear logic

Cited in

(2)

• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• Automated natural deduction prover and experiments

This page was built for publication: Experiments in linear natural deduction

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