Generalized constraint diagrams and the classical decision problem

DOI10.1093/logcom/exs004zbMath1307.03010OpenAlexW2132360722MaRDI QIDQ4914418

John Howse, Gem Stapleton, Jim Burton

Publication date: 19 April 2013

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

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

zbMATH Keywords

diagrammatic reasoningdecidabilityvisual logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Set Venn diagrams applied to inclusions and non-inclusions

This page was built for publication: Generalized constraint diagrams and the classical decision problem