Assertion: inclusive logic | /r/CapableOf | permit empty domains
Facets:
Source sentences:
text: Section 1 lays out the basics of free logic, explaining how it differs from classical predicate logic and how it is related to inclusive logic, which permits empty domains or “worlds.