Teaching math more effectively through the design of calculational proofs. 94-1415, March 1994. Accepted for publication in the Mathematical Monthly . Gries and Schneider. A new approach to teaching mathematics.
E is a product of researchers in the field of the formal development of algorithms.
E is sound and complete. The emphasis in proofs is on substitution of equals for equals instead of modus ponens. Equality, or equivalence, assumes an important role instead of being a bit player, as in most propositional logics. Below is a typical proof in equational logic. The line numbers are present only for later discussion.