Assertion: classical logic | /r/HasProperty | the name
Facets:
Source sentences:
text: Non-classical logic is the name given to formal systems which differ in a significant way from standard logical systems such as propositional and predicate logic.