Laws of the Logical Calculi