Reasoning with graphs

DOI10.1016/J.ENTCS.2006.05.046MaRDI QIDQ4917998zbMATH OpenOpenAlexFDO

Authors Paulo A. S. Veloso, Sheila R. M. 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

completenessdecidabilitygraph calculusexpressive powerrelational calculus

Mathematics Subject Classification ID

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

Recommendations

• On graph reasoning
• On Positive Relational Calculi
• On a graph calculus for modalities
• On a Graph Calculus for Algebras of Relations
• On graph refutation for relational inclusions

Cites work

• scientific article; zbMATH DE number 1615232 (Why is no real title available?)
• scientific article; zbMATH DE number 45228 (Why is no real title available?)
• scientific article; zbMATH DE number 67045 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• Compiling dyadic first-order specifications into map algebra
• Normal forms for connectedness in categories
• Proofs with graphs
• Relation algebras and function semigroups
• Representation of Modular Lattices and Of Relation Algebras
• Representations of distributive lattice-ordered semigroups with binary relations
• The representation of relation algebras. II
• The representation of relational algebras

Cited in

(14)

• A graphical representation of relational formulae with complementation
• An \textsc{Agg} application supporting visual reasoning
• scientific article; zbMATH DE number 2113963 (Why is no real title available?)
• On a graph approach to modal logics
• scientific article; zbMATH DE number 1322795 (Why is no real title available?)
• Relational matching for graphical calculi of relations
• On graph reasoning
• A graph calculus for predicate logic
• scientific article; zbMATH DE number 5734944 (Why is no real title available?)
• Positive Fork Graph Calculus
• On graph refutation for relational inclusions
• Presenting basic graph logic
• Reasoning with sentences and diagrams
• On a Graph Calculus for Algebras of Relations

This page was built for publication: Reasoning with graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917998)