Логика интерпретируемости
-
Основы интерпретируемости
- Логики интерпретируемости расширяют логику доказуемости для описания метаматематических свойств.
- Основные разработчики включают Алессандро Берардуччи, Петра Гаека и других.
-
Примеры интерпретируемых логик
- ILM: включает унарный и бинарный модальные операторы, интерпретирует арифметические утверждения.
- TOL: расширяет классическую логику высказываний, позволяет использовать произвольные последовательности аргументов.
-
Аксиомы и правила вывода
- Аксиомы включают классические тавтологии и правила для модальных операторов.
- Правила вывода включают заключение из посылок и отрицания посылок.
-
Полнота интерпретаций
- Полнота ILM и TOL в отношении их арифметических интерпретаций была доказана независимо.
-
Рекомендации
- Для более глубокого изучения темы рекомендуется обратиться к книге «Справочник по теории доказательств».