The following pages link to (Q4856150):
Displaying 12 items.
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Conservation principles and action schemes in the synthesis of geometric concepts (Q1028905) (← links)
- Information and impossibilities (Q1276417) (← links)
- The concept of relevance and the logic diagram tradition (Q1931345) (← links)
- A semiotic perspective on polysemy (Q2107483) (← links)
- Economic reasoning with demand and supply graphs (Q2173168) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Logicographic symbols (Q2457342) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- A Shell for Generic Interactive Proof Search (Q4236062) (← links)
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism (Q5937840) (← links)