Model theory of deduction: a unified computational approach.

Unifies the main types of deductive reasoning into a single set of basic procedures. Consolidation of the microtheories developed from a mental models perspective in a single theory; Validation of a theory through a computational model which allows predictions of the performance of the subjects in different reasoning domains; Testing of the performance of the model against the performance of experimental subjects in the three areas of reasoning.