Reasoning with Graphs

DOI10.1016/j.entcs.2006.05.046zbMath1262.03045OpenAlexW2018469928MaRDI QIDQ4917998

Sheila R. M. Veloso, Paulo A. S. Veloso, Petrucio Viana, Renata P. de Freitas

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.05.046

zbMATH Keywords

completenessdecidabilityexpressive powerrelational calculusgraph calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (4)

On a graph approach to modal logics ⋮ On a Graph Calculus for Algebras of Relations ⋮ Positive Fork Graph Calculus ⋮ On graph reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The representation of relation algebras. II
• Compiling dyadic first-order specifications into map algebra
• Proofs with graphs
• Representations of distributive lattice-ordered semigroups with binary relations
• Relation algebras and function semigroups
• The representation of relational algebras
• Representation of Modular Lattices and Of Relation Algebras
• Normal forms for connectedness in categories

This page was built for publication: Reasoning with Graphs