Assertion: free logic | /r/HasProperty | related but weaker principle
Facets:
Source sentences:
text: Those who wish to retain (2) may be consoled by the following observation: though substitutivity salve veritate of co-extensive open formulas fails for nearly all free logics, a related but weaker principle, the substitutivity salve veritate of co-comprehensive open formulas, is valid for positive free logics.