Combining Texts

Ideas for 'Community and Citizenship', 'Identity, Essence and Indiscernibility' and 'Negation'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

1 idea

5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
18783 Many-valued logics lack a natural deduction system [Mares]
     Full Idea: Many-valued logics do not have reasonable natural deduction systems.
     From: Edwin D. Mares (Negation [2014], 1)