@inproceedings{d5aee0f6d4fb446b89bb9dc4a8bd9dcb,
title = "Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras",
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.",
keywords = "involutive FL-algebras, Priestley spaces, Quasi relation algebras, representations",
author = "Andrew Craig and Peter Jipsen and Claudette Robinson",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.; 21st International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2024 ; Conference date: 19-08-2024 Through 22-08-2024",
year = "2024",
doi = "10.1007/978-3-031-68279-7_10",
language = "English",
isbn = "9783031682780",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "156--174",
editor = "Uli Fahrenberg and Wesley Fussner and Roland Gl{\"u}ck",
booktitle = "Relational and Algebraic Methods in Computer Science - 21st International Conference, RAMiCS 2024, Proceedings",
address = "Germany",
}