Теоретико-доказательная семантика
-
Основы теоретико-доказательной семантики
- Основана Герхардом Гентценом, формализована в его отчете об исключении сокращений.
- Изучает роль пропозиций и связок в системах вывода.
-
Развитие и применение
- Даг Правиц расширил аналитическое доказательство Генцена на естественную дедукцию.
- Принцип инверсии лежит в основе современных подходов к теоретико-доказательной семантике.
- Майкл Дамметт предложил идею логической гармонии, основанную на предложениях Нуэля Белнапа.
-
Логическая гармония и непоследовательность
- Язык с логической гармонией позволяет извлекать аналитические доказательства из произвольных демонстраций.
- Язык без логической гармонии может иметь непоследовательные формы вывода.
-
Дополнительные ресурсы
- Ссылки на статьи и энциклопедии по теоретико-доказательной семантике.
- Предложение помощи в расширении статьи для Википедии.