scientific article
From MaRDI portal
Publication:2767024
zbMath0988.03090MaRDI QIDQ2767024
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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)
This page was built for publication:
