Hypothetical Syllogism

Also known as
It is referred to by some authors as the principle of syllogism

It is also known as the transitivity law.

Its abbreviation in a tableau proof is $\textrm{HS}$.