02:22duration 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…