Изменения
Нет описания правки
Интуиционистское исчисление высказываний получается из классического заменой схемы аксиом 10 в исчислении высказываний (схемы аксиом снятия двойного отрицания) на следующую: <tex>(\neg (\psi)) \rightarrow (\psi) \rightarrow (\phi)</tex>
Конструкцию примера для доказательства необщезначимости закона исключенного третьего и конструкцию моделей Крипке см. Н.К.Шень, А.Верещагин, Лекции по математической логике и теории алгоритмов, часть 2. Языки и Исчисления.<br /><br />
Глава 2, Интуиционистская пропозициональная логика, стр. 74-77.
http://www.mccme.ru/free-books/shen/shen-logic-part2.pdf
