1 citations · 1 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Pregroup representable expansions of residuated lattices
Andrew Craig, Claudette Robinson
Group representable relation algebras play an important role in the study of representable relation algebras. The class of distributive involutive FL-algebras (DInFL-algebras) gene…
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…