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…
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…