The following pages link to Spider Diagrams (Q5697473):
Displaying 25 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- Efficient on-line algorithms for Euler diagram region computation (Q709068) (← links)
- Truth diagrams versus extant notations for propositional logic (Q783668) (← links)
- Venn diagram with names of individuals and their absence: a non-classical diagram logic (Q1653555) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← links)
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary (Q2011376) (← links)
- On the logical philosophy of assertive graphs (Q2228440) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- A diagrammatic inference system with Euler circles (Q2255200) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- The semiotics of spider diagrams (Q2399601) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Set Venn diagrams applied to inclusions and non-inclusions (Q2629220) (← links)
- Speedith: a reasoner for spider diagrams (Q2629222) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- On the Completeness of Spider Diagrams Augmented with Constants (Q2948608) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Visual Mathematics: Diagrammatic Formalization and Proof (Q5505526) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- Sequent Calculus for Euler Diagrams (Q5878881) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- Diagrammatically Formalising Constraints of a Privacy Ontology (Q5878892) (← links)
