A Decidable Constraint Diagram Reasoning System

DOI10.1093/logcom/exi041zbMath1098.03040OpenAlexW1977205549MaRDI QIDQ3371151

Gem Stapleton, John Taylor, John Howse

Publication date: 21 February 2006

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exi041

zbMATH Keywords

diagrammatic reasoningformal methodsvisual logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (7)

Set Venn diagrams applied to inclusions and non-inclusions ⋮ Singular propositions, negation and the square of opposition ⋮ The semiotics of spider diagrams ⋮ Automated theorem proving in Euler diagram systems ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Efficient on-line algorithms for Euler diagram region computation ⋮ Visual Mathematics: Diagrammatic Formalization and Proof

This page was built for publication: A Decidable Constraint Diagram Reasoning System