Assertion: called negation | /r/AtLocation | sense
Facets:
Source sentences:
text: In addition to intuitionistic negation, bi-intuitionistic logic contains a so-called co-negation that is in a sense dual to intuitionistic negation.