Towards a model theory of diagrams

MaRDI QIDQ1815406zbMATHFDO

Authors Norman Danner, Eric M. Hammer

Publication date 12 November 1996

Published in Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

semanticscompletenesssyntaxsoundnessrules of inferenceformal system of Venn diagramsmaximally consistent sets of diagramswell-formed diagrams

Mathematics Subject Classification ID

General logic (03B99) Model theory (03C99)

Recommendations

• Set Venn diagrams applied to inclusions and non-inclusions
• scientific article; zbMATH DE number 794693
• A brief proof of the full completeness of Shin's Venn diagram proof system
• scientific article; zbMATH DE number 1237648
• Diagrammatic Representation and Inference
• The Advent of Formal Diagrammatic Reasoning Systems
• Euler’s visual logic

Cited in

(15)

• Set Venn diagrams applied to inclusions and non-inclusions
• Reasoning with sentences and diagrams
• On Diagrams and General Model Checkers
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 1787155 (Why is no real title available?)
• A new approach to the semantics of model diagrams
• Syllogisms in rudimentary linear logic, diagrammatically
• A brief proof of the full completeness of Shin's Venn diagram proof system
• Diagrammatic Representation and Inference
• A diagrammatic inference system with Euler circles
• A diagrammatic calculus of syllogisms
• scientific article; zbMATH DE number 2209443 (Why is no real title available?)
• Unifying notions of pasting diagrams
• scientific article; zbMATH DE number 4056563 (Why is no real title available?)
• scientific article; zbMATH DE number 4077509 (Why is no real title available?)

This page was built for publication: Towards a model theory of diagrams

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