Single Idea 18789

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic]

Full Idea

Intuitionist logic appears most attractive in the form of a natural deduction system.

Gist of Idea

Intuitionist logic looks best as natural deduction

Source

Edwin D. Mares (Negation [2014], 5.5)

Book Reference

'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.200


Related Idea

Idea 18790 Intuitionism as natural deduction has no rule for negation [Mares]