A survey of reasoning systems based on Euler diagrams
From MaRDI portal
Recommendations
Cited in
(16)- Venn diagram with names of individuals and their absence: a non-classical diagram logic
- Strategy analysis of non-consequence inference with Euler diagrams
- \(\mathrm{Venn}_{i_{o1}} \): a diagram system for universe without boundary
- A diagrammatic inference system with Euler circles
- Syllogisms in rudimentary linear logic, diagrammatically
- Automated theorem proving in Euler diagram systems
- How diagrams can support syllogistic reasoning: an experimental study
- Equivalences in Euler-based diagram systems through normal forms
- A system for virtual directories using Euler diagrams
- Comparing the efficacy of visual languages
- The Advent of Formal Diagrammatic Reasoning Systems
- scientific article; zbMATH DE number 1787156 (Why is no real title available?)
- Diagrammatic Representation and Inference
- Euler Diagrams Through the Looking Glass: From Extent to Intent
- Rigor and the Context-Dependence of Diagrams: The Case of Euler Diagrams
- Euler Diagrams for Defeasible Reasoning
This page was built for publication: A survey of reasoning systems based on Euler diagrams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848472)
