next up previous
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

Tue Jul 2 09:56:40 EST 1996


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