scientific article; zbMATH DE number 1303456
From MaRDI portal
Publication:4250067
zbMath0957.03063MaRDI QIDQ4250067
Publication date: 22 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Grishin algebras and cover systems for classical bilinear logic ⋮ Unnamed Item ⋮ On Canonical Embeddings of Residuated Groupoids
This page was built for publication: