scientific article; zbMATH DE number 7576841

zbMATH Open1502.18042MaRDI QIDQ5099992FDOQ5099992

Gerard Allwein, William L. Harrison

Publication date: 26 August 2022

Title of this publication is not available (Why is that?)

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:

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