Publication:2757849
From MaRDI portal
zbMath0978.03516MaRDI QIDQ2757849
Dmitri A. Archangelsky, Michael A. Taitslin
Publication date: 4 December 2001
03B45: Modal logic (including the logic of norms)
03B70: Logic in computer science
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03F52: Proof-theoretic aspects of linear logic and other substructural logics