Semi-substructural logics with additives
From MaRDI portal
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Formalization of mathematics in connection with theorem provers (68V20) Bimonoidal, skew-monoidal, duoidal categories (18M50) Categorical aspects of linear logic (18M45)
This page was built for publication: Semi-substructural logics with additives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6934133)
