Many-sorted logic's greater generality permits empty sorts to model scenarios where certain categori...
This proposition has not been edited since the history system was added.