Alex Blum
We show that our basic logic, contrary to the truth table account, is in agreement with Aristotle that truth does not distribute over disjunction and thus as Aristotle contends the law of excluded middle does not imply the law of bivalence.