Standard Logical Equivalences