Publication:4250067
From MaRDI portal
zbMath0957.03063MaRDI QIDQ4250067
Publication date: 22 March 2001
non-commutative linear logic; Grishin algebras; po-set models of classical bilinear propositional logic
03G25: Other algebras related to logic
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Unnamed Item, On Canonical Embeddings of Residuated Groupoids, Grishin algebras and cover systems for classical bilinear logic