Showing math.LOShow all
2 papers · 1 filter
math.LO2026
Representability for distributive quasi relation algebras via nested sums
Andrew Craig, Claudette Robinson, Wilmari Morton
We extend the work of Galatos (2004) on nested sums, originally called generalised ordinal sums, of residuated lattices. We show that the nested sum of an odd quasi relation algebr…
math.LO2025
Representable distributive quasi relation algebras
Andrew Craig, Claudette Robinson
We give a definition of representability for distributive quasi relation algebras (DqRAs). These algebras are a generalisation of relation algebras and were first described by Gala…