Representable distributive quasi relation algebras
From MaRDI portal
Publication:6455611
arXiv2310.11719MaRDI QIDQ6455611
Andrew P. K. Craig, Claudette Robinson
Publication date: 18 October 2023
Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
This page was built for publication: Representable distributive quasi relation algebras