Assertion: traditional logic | /r/HasProperty | formal
Facets:
value: in this sense
type: OTHER
Source sentences:
text: Barth and Krabbe claim that most traditional logic is formal in this sense.