A Report on Euler DiagrammaticReasoning System : Theory and Experiment Design

In this paper we are concerned with logical and cognitive aspects of reasoning with Euler circles. We give a proof-theoretical analysis of diagrammatic reasoning with Euler circles involving unification and deletion rules. Diagrammatic syllogistic reasoning is characterized as a particular class of the general diagrammatic proofs. Given this prooftheoretical analysis, we propose an experiment for a cognitive psychological study.