Assertion: inclusive logic | /r/HasProperty | free
Facets:
value: de facto
type: MANNER
Source sentences:
text: Thus while inclusive logic for a language containing singular terms must be free, free logics need not be inclusive.
text: Thus, since inclusive logic with singular terms is de facto free, the inventors of inclusive logics were, perhaps unwittingly, the inventors of free logic.