Assertion: negation | /r/CapableOf | fail to validate valid de morgan sequent
Facets:
value: intuitionistically
type: MANNER
Source sentences:
text: The term “subminimal negation” had been used by Allen Hazen in an unpublished paper from 1992 for a richer language containing negation, conjunction, disjunction, and intuitionistic implication to denote a negation that fails to validate the intuitionistically valid De Morgan sequent