scientific article; zbMATH DE number 1303456

MaRDI QIDQ4250067zbMATH OpenFDO

Authors J. Lambek

Publication date 22 March 2001

zbMATH Keywords

Grishin algebrasnon-commutative linear logicpo-set models of classical bilinear propositional logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• Grishin algebras and cover systems for classical bilinear logic
• scientific article; zbMATH DE number 786486
• Bistructures, bidomains and linear logic
• scientific article; zbMATH DE number 1526148
• Some lattice models of bilinear logic
• Algebras of logic as BCK algebras
• On linear Brouwerian logics
• scientific article; zbMATH DE number 567281
• scientific article; zbMATH DE number 4183416
• Algebraizable logics

Cited in

(7)

• Some lattice models of bilinear logic
• Linearity and negation
• scientific article; zbMATH DE number 1865920 (Why is no real title available?)
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• On canonical embeddings of residuated groupoids
• Boolean algebras in Visser algebras
• Grishin algebras and cover systems for classical bilinear logic

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 Q4250067)