Document Type
Conference Proceeding
Publication Date
8-12-2024
Abstract
Analogous to atom structures for relation algebras, we define partially ordered frames and prove they are duals for complete perfect distributive quasi relation algebras and distributive involutive FL-algebras. We then extend this dual representation to all algebras and their corresponding frames with a Priestley topology.
For relation algebras up to size 16 it has been determined which algebras are representable by binary relations. We compute all finite distributive quasi relation algebras up to 8 elements and provide representations for some of them.
Recommended Citation
Craig, A., Jipsen, P., Robinson, C. (2024). Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. In: Fahrenberg, U., Fussner, W., Glück, R. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2024. Lecture Notes in Computer Science, vol 14787. Springer, Cham. https://doi.org/10.1007/978-3-031-68279-7_10
Copyright
The authors
Comments
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Relational and Algebraic Methods in Computer Science. RAMiCS 2024, Lecture Notes in Computer Science, volume 14787, in 2024 following peer review. The final publication may differ and is available at Springer via https://doi.org/10.1007/978-3-031-68279-7_10