Experiments in linear natural deduction
From MaRDI portal
Publication:1392279
DOI10.1016/S0304-3975(96)00055-2zbMath0895.03022MaRDI QIDQ1392279
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
natural deduction; proof-theoretical properties; fragments of multiplicative linear logic; par connective; tensorial fragment
03B70: Logic in computer science
03F03: Proof theory in general (including proof-theoretic semantics)
Cites Work