Assertion: logic's application | /r/CapableOf | begin with van fraassen
Facets:
Source sentences:
text: But their formalization and application to free logic began with van Fraassen 1966, in which the term “supervaluation” was introduced.