Логика доказуемости
-
Основы логики доказуемости
- Логика доказуемости — модальная логика, где «это доказуемо» интерпретируется как «□».
- Используется для формализации предиката доказательства в формальных теориях, таких как арифметика Пеано.
-
Примеры и история
- Существуют различные логики доказуемости, включая GL, L и K4W.
- GL была разработана Робертом Соловьем в 1976 году, а Джордж Булос был главным вдохновителем до своей смерти в 1996 году.
- Вклад в эту область внесли Сергей Артемов, Лев Беклемишев и другие.
-
Обобщения и рекомендации
- Логика интерпретируемости и полимодальная логика Джапаридзе являются естественными продолжениями логики доказуемости.
- Для более глубокого изучения рекомендуется обратиться к работам Джорджа Булоса, Георгия Джапаридзе и других авторов.
Полный текст статьи: