Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2505.07789 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917231839936512 |
|---|---|
| author | Craig, Andrew Jipsen, Peter Robinson, Claudette |
| author_facet | Craig, Andrew Jipsen, Peter Robinson, Claudette |
| contents | We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the atom structures used to study relation algebras. We also extend the duality from complete perfect algebras to all algebras, using so-called doubly-pointed frames with a Priestley topology.
We then turn to the representability of these algebras as lattices of binary relations. Some algebras can be realised as term subreducts of representable relation algebras and are hence representable. We provide a detailed account of known representations for all algebras up to size six. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_07789 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Duality theory and representations for distributive quasi relation algebras and DInFL-algebras Craig, Andrew Jipsen, Peter Robinson, Claudette Logic in Computer Science We develop dualities for complete perfect distributive quasi relation algebras and complete perfect distributive involutive FL-algebras. The duals are partially ordered frames with additional structure. These frames are analogous to the atom structures used to study relation algebras. We also extend the duality from complete perfect algebras to all algebras, using so-called doubly-pointed frames with a Priestley topology. We then turn to the representability of these algebras as lattices of binary relations. Some algebras can be realised as term subreducts of representable relation algebras and are hence representable. We provide a detailed account of known representations for all algebras up to size six. |
| title | Duality theory and representations for distributive quasi relation algebras and DInFL-algebras |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2505.07789 |