Pages that link to "Item:Q2255200"

The following pages link to A diagrammatic inference system with Euler circles (Q2255200):

Displaying 8 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)