31 Семантика Крипке

Основная семантика интуиционистской логики - семантика миров Крипке. Бонусом рассуждаем о многозначности логики, а также о способах построения других (неклассических) логик.