Logical Equivalences and Consistency