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] |
18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
10662 | Mereology is 'nihilistic' (just atoms) or 'universal' (no restrictions on what is 'whole') [Inwagen, by Varzi] |