15-399, 80-317/617
Constructive Logic
Lecture 18: Classical versus Constructive Logic

Classical logic differs from contructive logic not only with respect to the law of excluded middle, but also as to how the quantifiers are treated. This lecture discusses these differences, as well as one way of relating the two, namely the so-called "double-negation" translation.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]