Towards a model theory of diagrams

zbMATH Open0860.03036MaRDI QIDQ1815406FDOQ1815406

Authors: Norman Danner, Eric M. Hammer 

Publication date: 12 November 1996

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

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

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)

Cited In (15)

• Title not available (Why is that?)
• A diagrammatic inference system with Euler circles
• Title not available (Why is that?)
• Diagrammatic Representation and Inference
• Title not available (Why is that?)
• Unifying notions of pasting diagrams
• Syllogisms in rudimentary linear logic, diagrammatically
• A diagrammatic calculus of syllogisms
• A new approach to the semantics of model diagrams
• Reasoning with sentences and diagrams
• Title not available (Why is that?)
• Set Venn diagrams applied to inclusions and non-inclusions
• On Diagrams and General Model Checkers
• Title not available (Why is that?)
• A brief proof of the full completeness of Shin's Venn diagram proof system

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)