Next: Introduction
Teaching Reasoning using Heterogeneous Logic
Jon Barwise, Ruth Eberle, and Kathi Fisler
Visual Inference
Laboratory
Lindley Hall 425
Indiana University
Bloomington, Indiana 47405
http://www-vil.cs.indiana.edu
Tue Jul 2 09:56:40 EST 1996
Abstract:
Hyperproof [1], a joint project of
researchers at Indiana and Stanford Universities, teaches an extension
of first-order predicate logic through an integration of diagrammatic
and sentential information. This paper gives an overview of
Hyperproof, motivates its use of diagrammatic information, and
discusses our experiences using it in the classroom.
Kathi Fisler
Tue Jul 2 09:56:35 EST 1996