Assertion: free logic | /r/HasProperty | pfl
Facets:
Source sentences:
text: This section presents all three for the bivalent inclusive form of free logic known as Positive Free Logic (PFL) and mentions some variants.
text: \bD_o^n\), the standard free logic PFL, together with the modal axioms and rules appropriate to whatever structure we assign to \(\bR\), is sound and complete on this semantics.