04:47 duration 4 minutes 47 seconds
CL - Lecture 4.f - Sequents 1
We interpret additional predicates before the turnstile. These simply express validity in a sub-universe. This means that for any sound rule the corresponding rule with additional predicates is…