Hyperproof swMATH ID: 22172 Software Authors: Jon Barwise, John Etchemendy Description: 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. Homepage: http://web.stanford.edu/group/cslipublications/cslipublications/site/1881526119.shtml Related Software: Dr.Doodle; Isabelle; Pesca; Sledgehammer; VOWL; Vivid; CafePie; GROVER; CafeOBJ; Geometry Tutor; OMDoc; ActiveMath; EPGY; XPath; ETPS; TeXmacs; Isar; Isabelle/Isar; Isabelle/HOL; Theorema Cited in: 23 Publications all top 5 Cited by 31 Authors 3 Barwise, Kenneth Jon 3 Takemura, Ryo 2 Arkoudas, Konstantine 2 Etchemendy, John 2 Fish, Andrew 2 Sato, Yuri 2 Stapleton, Gem 1 Barker-Plummer, Dave 1 Billingsley, William 1 Bringsjord, Selmer 1 Dejnožka, Jan 1 Flower, Jean 1 Jamnik, Mateja 1 Kerber, Manfred 1 Masthoff, Judith 1 Melis, Erica 1 Mineshima, Koji 1 Myers, Karen L. 1 Nakagawa, Koji 1 Novodvorsky, Aleksey 1 Pineda, Luis A. 1 Piwek, Paul 1 Priss, Uta 1 Robinson, Peter 1 Savio, Mario 1 Shimojima, Atsushi 1 Smirnov, Aleksey 1 Southern, Jane 1 Taylor, John 1 Ueda, Kazuhiro 1 Wajima, Yuichiro all top 5 Cited in 13 Serials 4 Journal of Logic, Language and Information 3 Artificial Intelligence 3 Journal of Automated Reasoning 2 Notre Dame Journal of Formal Logic 2 CSLI Lecture Notes 1 Studia Logica 1 Mathematical Social Sciences 1 Journal of Symbolic Computation 1 Archive for Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 LMS Journal of Computation and Mathematics 1 Logica Universalis all top 5 Cited in 6 Fields 17 Mathematical logic and foundations (03-XX) 12 Computer science (68-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Geometry (51-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year