Исчисление доказательств - Proof calculus

В математической логике , доказательство исчисление или доказательство система построена , чтобы доказать заявления.

Обзор

Система проверки включает в себя компоненты:

Обычно данное исчисление доказательств охватывает более одной конкретной формальной системы, поскольку многие исчисления доказательств недоопределены и могут использоваться для радикально различных логик. Например, парадигматическим случаем является исчисление секвенций , которое можно использовать для выражения отношений последствий как интуиционистской логики, так и логики релевантности . Таким образом, грубо говоря, исчисление доказательств - это шаблон или шаблон проектирования , характеризующийся определенным стилем формального вывода, который может быть специализирован для создания конкретных формальных систем, а именно путем определения фактических правил вывода для такой системы. Среди логиков нет единого мнения о том, как лучше всего определить этот термин.

Примеры исчислений доказательств

Наиболее широко известные исчисления доказательств - это те классические исчисления, которые все еще широко используются:

Многие другие исчисления доказательств были или могли быть основополагающими, но сегодня широко не используются.

Современные исследования в области логики изобилуют конкурирующими исчислениями доказательств:

Смотрите также

Ссылки