Coherence for logicians
From MaRDI portal
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Categorical logic, topoi (03G30) Monoidal categories, symmetric monoidal categories (18M05) String diagrams and graphical calculi (18M30)
This page was built for publication: Coherence for logicians
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6520053)
