4 ms·
The sort of logic you are studying is order-sorted logic, which is a sort of first-order logic with predicates.
by danielam 11y ago
The sort of logic you are studying is order-sorted logic, which is a sort of first-order logic with predicates.
loading thread…