Experiments in linear natural deduction

DOI10.1016/S0304-3975(96)00055-2zbMath0895.03022OpenAlexW2003476270MaRDI QIDQ1392279

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

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

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Full intuitionistic linear logic
• Natural deduction for intuitionistic linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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