Laws of Non-Contradiction, Laws of the Excluded Middle, and Logics *