Интуиционистское исчисление высказываний

- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия: [img: http://localhost:8080/file/021018-25.jpg] Один из распространенных вариантов И. и. в. формулируется следующим образом. Пусть А, В, С- произвольные формулы рассматриваемого логич. языка. Аксиомы исчисления суть формулы следующего вида: [img: http://localhost:8080/file/021018-26.jpg] Единственное правило вывода И. и. в.- правило modus ponens: если выведены формулы Аи [img: http://localhost:8080/file/021018-27.jpg] то выводима и формула В. Всякая выводимая формула этого исчисления приемлема с интуиционистской точки зрения; более сложен вопрос о полноте описанного исчисления. И. и. в. оказывается, напр., полным относительно алгебраич. семантик - моделей Крипке и моделей Бета, но неполным относительно естественной конструктивной семантики - рекурсивной реализуемости Клини; см. также Конструктивное исчисление высказываний. Лит. см. при ст. Интуиционизм. А. Г. Драгалин.