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 (predicates coming before the turnstile). Now we introduce multiple succeedents (predicates coming after the turnstile).

This video introduces the idea of putting multiple predicates to the right of the turnstile.