Publication:4385352
From MaRDI portal
zbMath0947.03502MaRDI QIDQ4385352
Publication date: 28 August 2000
03A05: Philosophical and critical aspects of logic and foundations
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items