In this paper I propose a new method of semantic modeling for intuitionistic logic and provide an intuitive justification to this method. I put in the focus of consideration a concept of intuitionistic theory which is the basic concept of the whole analysis.
У цій статті я пропоную новий метод семантичного моделювання для інтуїционістської логіки і забезпечую інтуїтивне обгрунтування цього методу. Я поставив в центр уваги концепцію інтуїционістської теорії, яка є базовою концепцією всього аналізу.
В этой статье я предлагаю новый метод семантического моделирования для интуиционистской логики и обеспечиваю интуитивное обоснование этому методу. Я поставил в центр внимания концепцию интуиционистской теории, которая является базовой концепцией всего анализа.
