Assertion: relevant logic | /r/ObjectUse | used as the basis
Facets:
value: for mathematical theories
type: TRANSITIVE-OBJECT
Source sentences:
text: Relevant logic has been used as the basis for mathematical theories other than set theory.