Information technology has lead to an increasing need to present information visually. This volume addresses the logical aspects of the visualization of informa

Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of di

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it

The Logical Reasoning with Diagrams and Sentences courseware package teaches the principles of analytical reasoning and proof construction using a carefully cra

Diagrammatic reasoning is crucial for human cognition. It is hard to think of any forms of science or knowledge without the "intermediary world" of diagrams and