Assertion: propositional logic | /r/HasProperty | proposed by l.e.j. brouwer
Facets:
Source sentences:
text: Intuitionistic logic was proposed by L.E.J. Brouwer as the correct logic for reasoning about mathematics, based upon his rejection of the law of the excluded middle as part of his intuitionism.