Monotonicity in Calculational Proofs
We discuss the use of weakening and strengthening steps in calculational proofs. We present a metatheorem concerning monotonicity of positions in a formula that should have a more prominent place in the teaching of such proofs and give supporting examples.
Unable to display preview. Download preview PDF.