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