Assertion: free logic | /r/HasProperty | positive
Facets:
Source sentences:
text: The logic must be free because it deals with an empty singular term, and it must be positive, because only on a positive semantics can empty-termed atomic statements be true.
text: This section presents all three for the bivalent inclusive form of free logic known as Positive Free Logic (PFL) and mentions some variants.