On graph reasoning

DOI10.1016/j.ic.2008.11.004zbMath1187.68355OpenAlexW2048015200MaRDI QIDQ731892

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

Publication date: 9 October 2009

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2008.11.004

zbMATH Keywords

completenessdecidabilityexpressive powerrelational calculusgraph calculus

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10)

Related Items

On a graph calculus for modalities ⋮ A graphical representation of relational formulae with complementation ⋮ On a graph approach to modal logics ⋮ Set Venn diagrams applied to inclusions and non-inclusions ⋮ Presenting basic graph logic ⋮ On graph calculi for multi-modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The representation of relation algebras. II
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• 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
• On a Graph Calculus for Algebras of Relations
• Reasoning with Graphs
• On Positive Relational Calculi
• Normal forms for connectedness in categories