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…
27:22 duration 27 minutes 22 seconds
Shane Jensen.mp4
This is the talk by Shane Jensen at the 2018 ISBA World Meeting, Edinburgh
22:03 duration 22 minutes 3 seconds
Mark Jensen
This is the talk by Mark Jensen at the 2018 ISBA World Meeting, Edinburgh