Sequent Calculus
Contents
Category
Tautology
‘Identity’.
Syllogism
‘Composition’.
Monoidal Category
?
‘Monoid product’.
?
‘Composition’.
Symmetric Monoidal Category
Exchange
‘Symmetry’.
Cartesian Monoidal Category
?
‘Diagonal’.
?
‘’.
Cartesian Closed Category
?
?
‘Evaluation’.