Calculational Logic

 

 
Teaching OO using Java
Calculational
logic
festive occasions
ABC book
CS Faculty over the years
CS@Cornell
The Triple-I Administration
How Bush Operated

 

 
Logic is the glue that binds together methods of reasoning, in all domains.
---David Gries and Fred B. Schneider

Calculational logic is a propositional and predicate logic that is designed to be used --as opposed to logician's logics, which are designed to make the study of logic more effective. Proofs in the logic resemble proofs found in many fields of mathematics, such as linear algebra, modern algebra, and even calculus. At the core, a calculational-logic proof is simply a sequence of subsitutions of equals for equals.

Click on any of the following items for more information.