Pages that link to "Item:Q2255200"
From MaRDI portal
The following pages link to A diagrammatic inference system with Euler circles (Q2255200):
Displayed 10 items.
- Proof theory for reasoning with Euler diagrams: a logic translation and normalization (Q361868) (← links)
- Counter-example construction with Euler diagrams (Q495828) (← links)
- A generalized syllogistic inference system based on inclusion and exclusion relations (Q692203) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Arthur Schopenhauer on Naturalness in Logic (Q5118389) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)