Abstract
We define some extra relation operators in Relation Algebras and examine the relationship between Relation Algebras and Relevance Logic. We then extract binary relations from Kripke models of Relation Algebras and extend those to Distributed Relation Algebras. The term distribution refers to using a multigraph of local logics connected by the relation operators. In the context of Kripke frames for Relation Algebras, the distribution refers to a multigraph of Stone spaces each supporting a local Kripke frame. There are then distributed Kripke relations connecting the local frames. Finally, we show the relationship between the relation operators and Kan extensions and lifts from category theory.
| Original language | English |
|---|---|
| Title of host publication | Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn |
| Editors | Katalin Bimbó |
| Publisher | College Publications |
| Pages | 1-30 |
| Number of pages | 30 |
| ISBN (Print) | 978-1-84890-395-1 |
| State | Published - May 2022 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'Distributed Relation Algebra'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver