02:22 duration 2 minutes 22 seconds
CL - Lecture 4.e - Sequents 0
The following videos introduce sequents, a far-reaching generalisation of the idea underlying Aristotle's propositions. We have already discussed the introduction of multiple antecedents…
03:59 duration 3 minutes 59 seconds
CL - Lecture 4d - Disjunction
In this video, we try to arrive at the disjunction rule.