Assertion: sorted logic | /r/HasProperty | reduced to single-sorted first-order
Facets:
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