This research extends a method to show representability in distributive quasi relation algebras, indicating new algebraic insights.
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 algebra (qRA) satisfying certain conditions and an arbitrary qRA is again a qRA. In a recent paper by Craig and Robinson (2025) the notion of representability for distributive quasi relation algebras (DqRAs) was developed. For certain pairs of representable DqRAs, we prove that their nested sum is again representable. An important consequence of this result is that finite Sugihara chains are finitely representable.
No takes yet. Share an insight, caveat, or question.
Craig et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: