Assertion: double negation | /r/HasProperty | provable
Facets:
value: intuitionistically
type: MANNER
Source sentences:
text: Moreover, in the propositional case, a sentence is classically provable if its double negation is intuitionistically provable.