Distributed relation algebra

zbMATH Open1502.18042MaRDI QIDQ5099992FDOQ5099992

Authors: Gerard Allwein, William L. Harrison 

Publication date: 26 August 2022

Recommendations

• Distributed Relation Logic
• Algebras of Relations and Relevance Logic
• scientific article; zbMATH DE number 14393
• scientific article
• Relation algebras

zbMATH Keywords

relation algebrarelevance logicgaggle theorydistributed logicKan extensions and lifts

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cylindric and polyadic algebras; relation algebras (03G15) 2-categories, bicategories, double categories (18N10)

Cited In (1)

• Distributed Relation Logic

This page was built for publication: Distributed relation algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5099992)