On graph refutation for relational inclusions

MaRDI QIDQ5858676zbMATH OpenFDO

Authors Paulo A. S. Veloso, Sheila R. M. Veloso

Publication date 14 April 2021

Full work available at URL https://arxiv.org/abs/1203.6159, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2011.4

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Reasoning with graphs
• A note on proofs with graphs
• On graph reasoning
• On a Graph Calculus for Algebras of Relations
• On Positive Relational Calculi

Cited in

(5)

• On graphs for intuitionistic modal logics
• On a graph approach to modal logics
• Reasoning with graphs
• A graph calculus for predicate logic
• A revised projectivity calculus for inclusion and exclusion reasoning

This page was built for publication: On graph refutation for relational inclusions

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