직관주의 논리

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.