[marcosdumay]

It's a form of type algebra. You can use it to check stuff, but you can use it to calculate stuff too.

(Just like types in programming languages.)