Proofs with graphs

DOI10.1016/0167-6423(95)00025-9zbMath0852.68070OpenAlexW2007142183MaRDI QIDQ1916365

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)

Related Items (12)

On a graph calculus for modalities ⋮ A graphical representation of relational formulae with complementation ⋮ On a graph approach to modal logics ⋮ Presenting basic graph logic ⋮ On a Graph Calculus for Algebras of Relations ⋮ On graphs for intuitionistic modal logics ⋮ Reasoning with Graphs ⋮ An Agg Application Supporting Visual Reasoning1 ⋮ Normal forms for binary relations ⋮ Positive Fork Graph Calculus ⋮ On graph reasoning ⋮ An efficient relational deductive system for propositional non-classical logics

This page was built for publication: Proofs with graphs