Assertion: subminimal negation | /r/MadeOf | intuitionistic implication
Facets:
Source sentences:
text: Their subminimal negation is added to the language of positive intuitionistic logic and thus, in particular, contains intuitionistic implication.