Assertion: propositional logic | /r/HasProperty | correct
Facets:
Source sentences:
text: Examples of this type of argument can be found in Brouwer , Heyting  and Dummett  who argue that intuitionistic logic is correct, and Anderson and Belnap , who argue relevance logic is correct, among many others.