Towards a model theory of diagrams

From MaRDI portal

Publication:1815406

Jump to:navigation, search

zbMath0860.03036MaRDI QIDQ1815406

Norman Danner, Eric M. Hammer

Publication date: 12 November 1996

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

zbMATH Keywords

completeness semantics soundness syntax rules of inference formal system of Venn diagrams maximally consistent sets of diagrams well-formed diagrams

Mathematics Subject Classification ID

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

Related Items (6)

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1815406&oldid=29970712"