Pages that link to "Item:Q2255200"
From MaRDI portal
The following pages link to A diagrammatic inference system with Euler circles (Q2255200):
Displaying 21 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)
- Remodeling a DS-diagram into one with E-cycle (Q1583808) (← links)
- Presence and absence of individuals in diagrammatic logics: an empirical comparison (Q1680517) (← links)
- Strategy analysis of non-consequence inference with Euler diagrams (Q1711501) (← links)
- Euler-type diagrams and the quantification of the predicate (Q1986087) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Euler’s visual logic (Q2757959) (← links)
- A survey of reasoning systems based on Euler diagrams (Q2848472) (← links)
- Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL (Q2848474) (← 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)
- Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification (Q6110238) (← links)
- Intuitionistic Euler-Venn Diagrams (Q6485458) (← links)
- Euler Diagrams for Defeasible Reasoning (Q6485461) (← links)
- A bitstring semantics for calculus \textit{CL} (Q6600389) (← links)
