Assertion: sorted logic | /r/HasProperty | only finitely many sorts
Facets:
value: finitely
type: DEGREE
value: in a theory
type: OTHER
Source sentences:
text: When there are only finitely many sorts in a theory, many-sorted first-order logic can be reduced to single-sorted first-order logic.:296–299