Assertion: propositional logic | /r/HasProperty | distinguished
Facets:
value: from sometimes, stronger semantics
type: OTHER
Source sentences:
text: Form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
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.