Note: This computational model is deprecated in favor of mReasoner and mSentential, available above.

This computational model implements a revised version of a psychological theory of propositional reasoning originally developed by Johnson-Laird and Ruth Byrne (see their book Deduction). It postulates 4 stages of reasoning performance (increasing in accuracy); the first three are psychological and the fourth is an exercise in artificial intelligence.