The following pages link to Hyperproof (Q33967):
Displaying 27 items.
- Counter-example construction with Euler diagrams (Q495828) (← links)
- 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)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Information and impossibilities (Q1276417) (← links)
- Hybrid reasoning using universal attachment (Q1329365) (← links)
- Strategy analysis of non-consequence inference with Euler diagrams (Q1711501) (← 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)
- What makes an effective representation of information: a formal account of observational advantages (Q2398204) (← links)
- Logicographic symbols (Q2457342) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Automated theorem proving in Euler diagram systems (Q2467560) (← links)
- How diagrams can support syllogistic reasoning: an experimental study (Q2629219) (← links)
- Equivalences in Euler-based diagram systems through normal forms (Q2827282) (← links)
- A Shell for Generic Interactive Proof Search (Q4236062) (← links)
- (Q4588560) (← links)
- Two kinds of non-monotonic analogical inference (Q4632312) (← links)
- (Q4856150) (← links)
- Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874) (← links)
- The Observational Advantages of Euler Diagrams with Existential Import (Q5878875) (← links)
- Investigating Diagrammatic Reasoning with Deep Neural Networks (Q5878880) (← links)
- Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams (Q5878888) (← links)
- AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism (Q5937840) (← links)
