Towards a model theory of diagrams
From MaRDI portal
Publication:1815406
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)