display all the ideas for this combination of texts
4 ideas
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |