Publication:4938886
From MaRDI portal
zbMath0946.03024MaRDI QIDQ4938886
Publication date: 26 October 2000
03B45: Modal logic (including the logic of norms)
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items