On the Dependencies of Logical Rules

DOI10.1007/978-3-662-46678-0_28zbMath1367.03109OpenAlexW793018389MaRDI QIDQ2949457

Alexis Saurin, Amina Doumane, Marc Bagnol

Publication date: 1 October 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46678-0_28

zbMATH Keywords

linear logiccontractibilityproof netsdependencycorrection criterionMLL

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)

Related Items (2)

Unnamed Item ⋮ Proof nets for multiplicative cyclic linear logic and Lambek calculus

This page was built for publication: On the Dependencies of Logical Rules