The sort of logic you are studying is order-sorted logic, which is a sort of fir...

danielam on Sept 30, 2015 | parent | context | favorite | on: I deduce you are studying logic

The sort of logic you are studying is order-sorted logic, which is a sort of first-order logic with predicates.