scientific article; zbMATH DE number 7034307
From MaRDI portal
Publication:4627749
zbMATH Open1431.03080MaRDI QIDQ4627749FDOQ4627749
Authors: Thomas Vetterlein
Publication date: 11 March 2019
Title of this publication is not available (Why is that?)
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Logical aspects of lattices and related structures (03G10)
Cited In (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 Q4627749)