Proofs with graphs

DOI10.1016/0167-6423(95)00025-9MaRDI QIDQ1916365zbMATH OpenOpenAlexFDO

Authors S. A. Curtis, Gavin Lowe

Publication date 3 July 1996

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(95)00025-9

zbMATH Keywords

graphical calculus

Mathematics Subject Classification ID

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

Recommendations

• A new graphical calculus of proofs
• scientific article; zbMATH DE number 1231506
• A note on proofs with graphs
• Relational matching for graphical calculi of relations
• On a Graph Calculus for Algebras of Relations

Cited in

(22)

• On graphs for intuitionistic modal logics
• Relational matching for graphical calculi of relations
• On a graph calculus for modalities
• Proofs without syntax
• Normal forms for binary relations
• Presenting basic graph logic
• On a graph approach to modal logics
• A graphical representation of relational formulae with complementation
• Graphic lambda calculus
• On a Graph Calculus for Algebras of Relations
• Positive Fork Graph Calculus
• An efficient relational deductive system for propositional non-classical logics
• scientific article; zbMATH DE number 1231506 (Why is no real title available?)
• scientific article; zbMATH DE number 1748578 (Why is no real title available?)
• Reasoning with graphs
• An \textsc{Agg} application supporting visual reasoning
• A new graphical calculus of proofs
• scientific article; zbMATH DE number 969496 (Why is no real title available?)
• Assertive graphs
• The flower calculus
• On graph reasoning
• A note on proofs with graphs

This page was built for publication: Proofs with graphs

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