15399, 80317/617
Constructive Logic
Lecture 20: Classical and Constructive Validity
We distinguish between classical and constructive provability, by giving additional quantifier rules for classical firstorder 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 firstorder logic.
[ Home
 Schedule
 Assignments
 Handouts
 Software
 Overview
]
