Assertion: free logic | /r/CapableOf | find application
Facets:
value: most prominently
type: MANNER
value: in some programming languages
type: LOCATION
Source sentences:
text: Free logics involving non-strict functions find application in some programming languages (Gumb 2001, Gumb and Lambert 1991).
text: Free logic has also found application elsewhere—most prominently in theories of predication, programming languages, set theory, logics of presupposition (with neutral semantics), and definedness logics.