Assertion: classical logic | /r/ObjectUse | used in mathematic
Facets:
value: widely
type: DEGREE
Source sentences:
text: It is one thing to say that classical logic, including say, instances of the principles of Double Negation Elimination (DNE) and ex falso quodlibet (EFQ), are widely used in mathematics.