Интуиционистское Исчисление Высказываний
- логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. И. В. Была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. Исчисления высказываний состоит в замене исключенного третьего закона (или эквивалентного ему закона снятия двойного отрицания) более слабым принципом противоречия. Один из распространенных вариантов И. И. В. Формулируется следующим образом. Пусть А, В, С- произвольные формулы рассматриваемого логич. Языка. Аксиомы исчисления суть формулы следующего вида. Единственное правило вывода И. И. В.- правило modus ponens. Если выведены формулы Аи то выводима и формула В. Всякая выводимая формула этого исчисления приемлема с интуиционистской точки зрения.
Более сложен вопрос о полноте описанного исчисления. И. И. В. Оказывается, напр., полным относительно алгебраич. Семантик - моделей Крипке и моделей Бета, но неполным относительно естественной конструктивной семантики - рекурсивной реализуемости Клини. См. Также Конструктивное исчисление высказываний. Лит. См. При ст. Интуиционизм. А. Г. Драгалин..
Дополнительный поиск Интуиционистское Исчисление Высказываний
На нашем сайте Вы найдете значение "Интуиционистское Исчисление Высказываний" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Интуиционистское Исчисление Высказываний, различные варианты толкований, скрытый смысл.
Первая буква "И". Общая длина 40 символа