Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets
From MaRDI portal
Publication:5014592
DOI10.1007/978-3-030-66545-6_1zbMath1495.03035OpenAlexW3135976403MaRDI QIDQ5014592
Claudia Casadio, V. Michele Abrusci
Publication date: 8 December 2021
Published in: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-66545-6_1
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
This page was built for publication: Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets