Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Wreath products of distributive quasi relation algebra frames and their application to representability
Wilmari Morton, Claudette Robinson
We adapt a construction by Comer (1983) for polygroups to define the wreath product of the dual frames of two distributive quasi relation algebras satisfying certain conditions and…
cs.LO2026
Contractions of quasi relation algebras and applications to representability
Andrew Craig, Wilmari Morton, Claudette Robinson
Quasi relation algebras (qRAs) were first described by Galatos and Jipsen in 2013. They are generalisations of relation algebras and can also be viewed as certain residuated lattic…