Assertion: single logic | /r/MadeOf | classical negation
Facets:
Source sentences:
text: Perhaps each logic could even be a part of a single, greater logic containing e.g. intuitionist negation and paraconsistent negation as well as classical negation and Strong Kleene negation etc.