Towards a model theory of diagrams
From MaRDI portal
Publication:1815406
zbMath0860.03036MaRDI QIDQ1815406
Publication date: 12 November 1996
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
completenesssemanticssoundnesssyntaxrules of inferenceformal system of Venn diagramsmaximally consistent sets of diagramswell-formed diagrams
Related Items
Reasoning with sentences and diagrams, Set Venn diagrams applied to inclusions and non-inclusions, A diagrammatic calculus of syllogisms, A diagrammatic inference system with Euler circles, Syllogisms in rudimentary linear logic, diagrammatically, A brief proof of the full completeness of Shin's Venn diagram proof system