Generalized constraint diagrams and the classical decision problem

DOI10.1093/LOGCOM/EXS004MaRDI QIDQ4914418zbMATH OpenOpenAlexFDO

Authors Jim Burton, Gem Stapleton, John Howse

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

decidabilitydiagrammatic reasoningvisual logic

Mathematics Subject Classification ID

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

Recommendations

• A Decidable Constraint Diagram Reasoning System
• Diagrammatic Representation and Inference
• On the completeness of spider diagrams augmented with constants
• Spider Diagrams
• A Logic of Graph Constraints

Cited in

(7)

• Set Venn diagrams applied to inclusions and non-inclusions
• A Decidable Constraint Diagram Reasoning System
• Diagrammatic logic applied to a parameterisation process
• scientific article; zbMATH DE number 4029278 (Why is no real title available?)
• Diagrammatic Representation and Inference
• A reasoning system for satisfiability of diagrammatic specifications
• Reasoning on temporal class diagrams: Undecidability results

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

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