Assertion: order logic | /r/HasProperty | a form of predicate logic
Facets:
value: in logic
type: OTHER
value: in mathematics
type: OTHER
Source sentences:
text: In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics.