15-399, 80-317/617
Constructive Logic
Lecture 20: Classical and Constructive Validity
We distinguish between classical and constructive provability, by giving additional quantifier rules for classical first-order logic. We show how to extend the notion of a normal proof in order to charcaterize the constructively provable sequents. We also briefly discuss classical semantics, and state the classical completeness theorem for first-order logic.
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
|