scientific article; zbMATH DE number 2072494
From MaRDI portal
Publication:4467728
zbMATH Open1043.03016MaRDI QIDQ4467728
Publication date: 10 June 2004
Title of this publication is not available (Why is that?)
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items (1)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4467728)
