Assertion: strong negation | /r/CapableOf | entail its intuitionistic negation
Facets:
Source sentences:
text: Strong negation is called “strong” because it captures a notion of negation as definite falsity and because in the system N3 the strong negation of a formula entails its intuitionistic negation.