Lecture 3: Disjunction and Negation
We consider the logical connectives disjunction and negation, with their constructive meaning as determined by the principle of verification. We will see that disjunction, with the meaning we assigned to it, does
not satisfy the law of excluded middle in general. Many other
properties which may be familiar from classical logic, continue
to hold, however.