The Expressiveness of Spider Diagrams
From MaRDI portal
Publication:4659954
DOI10.1093/logcom/14.6.857zbMath1067.03015OpenAlexW2066031431MaRDI QIDQ4659954
Simon Thompson, John Howse, Gem Stapleton, John Taylor
Publication date: 21 March 2005
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://kar.kent.ac.uk/14057/1/04-14-Stapleton.pdf
expressivenessmonadic logicclassification of modelsspider diagramvisual language for expressing logical statements
Subsystems of classical logic (including intuitionistic logic) (03B20) Basic properties of first-order languages and structures (03C07)
Related Items (7)
Speedith: a reasoner for spider diagrams ⋮ On the Completeness of Spider Diagrams Augmented with Constants ⋮ Spider Diagrams ⋮ Automated theorem proving in Euler diagram systems ⋮ Syllogisms in rudimentary linear logic, diagrammatically ⋮ Equivalences in Euler-based diagram systems through normal forms ⋮ Vivid: a framework for heterogeneous problem solving
This page was built for publication: The Expressiveness of Spider Diagrams
