Single Idea 15430

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

Full Idea

From one point of view intuitionistic logic is a part of classical logic, missing one axiom, from another classical logic is a part of intuitionistic logic, missing two connectives, intuitionistic v and →

Gist of Idea

Is classical logic a part of intuitionist logic, or vice versa?

Source

John P. Burgess (Philosophical Logic [2009], 6.4)

Book Reference

Burgess,John P.: 'Philosophical Logic' [Princeton 2009], p.129