Hyperproof
Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs rather than the syntactic structure of sentences. It also reflects the heterogeneity of information encountered in everyday reasoning.
Keywords for this software
References in zbMATH (referenced in 24 articles )
Showing results 1 to 20 of 24.
Sorted by year (- Takemura, Ryo: Economic reasoning with demand and supply graphs (2020)
- Sato, Yuri; Wajima, Yuichiro; Ueda, Kazuhiro: Strategy analysis of non-consequence inference with Euler diagrams (2018)
- Barker-Plummer, Dave; Barwise, Jon; Etchemendy, John: Logical reasoning with diagrams and sentences. Using hyperproof (2017)
- Stapleton, Gem; Jamnik, Mateja; Shimojima, Atsushi: What makes an effective representation of information: a formal account of observational advantages (2017)
- Sato, Yuri; Mineshima, Koji: How diagrams can support syllogistic reasoning: an experimental study (2015)
- Takemura, Ryo: Counter-example construction with Euler diagrams (2015)
- Fish, Andrew; Taylor, John: Equivalences in Euler-based diagram systems through normal forms (2014)
- Dejnožka, Jan: The concept of relevance and the logic diagram tradition (2010)
- Arkoudas, Konstantine; Bringsjord, Selmer: Vivid: a framework for heterogeneous problem solving (2009)
- Billingsley, William; Robinson, Peter: Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (2007)
- Pineda, Luis A.: Conservation principles and action schemes in the synthesis of geometric concepts (2007)
- Piwek, Paul: Meaning and dialogue coherence: A proof-theoretic investigation (2007)
- Stapleton, Gem; Masthoff, Judith; Flower, Jean; Fish, Andrew; Southern, Jane: Automated theorem proving in Euler diagram systems (2007)
- Nakagawa, Koji: Logicographic symbols (2006)
- Arkoudas, Konstantine: Simplifying proofs in Fitch-style natural deduction systems (2005)
- Swoboda, Nik; Allwein, Gerard: Using dag transformations to verify Euler/venn homogeneous and Euler/Venn FOL heterogeneous rules of inference (2004) ioport
- Cox, Richard: Representation construction, externalised cognition and individual differences (1999) MathEduc
- Stenning, Keith: The cognitive consequences of modality assignment for educational communication: the picture in logic teaching (1999) MathEduc
- Novodvorsky, Aleksey; Smirnov, Aleksey: A shell for generic interactive proof search (1998)
- Savio, Mario: AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism (1998)