scientific article
From MaRDI portal
Publication:2757849
zbMath0978.03516MaRDI QIDQ2757849
Dmitri A. Archangelsky, Michael A. Taitslin
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) 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)
