On a Graph Calculus for Algebras of Relations
From MaRDI portal
Publication:3511467
DOI10.1007/978-3-540-69937-8_26zbMath1155.03313OpenAlexW1490330948MaRDI QIDQ3511467
Sheila R. M. Veloso, Paulo A. S. Veloso, Petrucio Viana, Renata P. de Freitas
Publication date: 10 July 2008
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-69937-8_26
Other nonclassical logic (03B60) Structure of proofs (03F07) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Relation algebras by games
- A sequent calculus for relation algebras
- Relation algebras
- Proof theory for linear lattices
- Arguesian identities in linear lattices
- Geometric identities in lattice theory
- Proofs with graphs
- Relational matching for graphical calculi of relations
- Arguesian identities in the congruence variety of Abelian groups
- Relational treatment of term graphs with bound variables
- Reasoning with Graphs
- On Positive Relational Calculi