display all the ideas for this combination of texts
4 ideas
13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
18789 | Intuitionist logic looks best as natural deduction [Mares] |
18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |