A graph calculus for predicate logic

MaRDI QIDQ4992401zbMATH OpenFDO

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

Publication date 8 June 2021

Full work available at URL https://arxiv.org/abs/1303.7336, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.15

Mathematics Subject Classification ID

Classical first-order logic (03B10) Applications of graph theory (05C90)

Recommendations

• On graph refutation for relational inclusions
• scientific article; zbMATH DE number 1827085
• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Reasoning with graphs
• On graph reasoning

Cited in

(14)

• Semantics for existential graphs
• Standard sentence logic as graphs
• Graph logics with rational relations
• Graph Logics with Rational Relations and the Generalized Intersection Problem
• scientific article; zbMATH DE number 5010047 (Why is no real title available?)
• On the Expressive Power of Graph Logic
• Deduction graphs: an algorithm and applications
• scientific article; zbMATH DE number 1210779 (Why is no real title available?)
• PDL for structured data: a graph-calculus approach
• An Analytic Propositional Proof System on Graphs
• Extensions in graph normal form
• Graph Transformations
• On graph calculi for multi-modal logics
• Graph theoretical structures in logic programs and default theories

This page was built for publication: A graph calculus for predicate logic

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