Assertion: free logic | /r/Desires | this axiom of strictness
Facets:
value: for languages with function symbols
type: OTHER
Source sentences:
text: For languages with function symbols, negative free logic requires in addition this axiom of strictness: