Distributed Relation Logic
From MaRDI portal
Publication:4683211
DOI10.12775/LLP.2016.017zbMath1417.03223OpenAlexW2481638318MaRDI QIDQ4683211
William L. Harrison, Gerard Allwein, Thomas J. Reynolds
Publication date: 20 September 2018
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2016.017
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cylindric and polyadic algebras; relation algebras (03G15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relation algebras as residuated Boolean algebras
- Logics for classes of Boolean monoids
- Distributed Modal Logic
- Heterogeneous algebras
- The Theory of Representation for Boolean Algebras
- Boolean Algebras with Operators
This page was built for publication: Distributed Relation Logic
