|
Труды Математического института имени В. А. Стеклова, 2003, том 242, страницы 77–97
(Mi tm406)
|
|
|
|
Эта публикация цитируется в 3 научных статьях (всего в 3 статьях)
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего
Н. К. Верещагинa, Д. П. Скворцовb, Е. З. Скворцоваc, А. В. Черновca a Московский государственный университет им. М. В. Ломоносова, механико-математический факультет
b Всероссийский институт научной и технической информации
c Московский государственный университет им. М. В. Ломоносова
Аннотация:
До сих пор неизвестно, является ли конечно (или хотя бы рекурсивно)
аксиоматизируемой логика реализуемых пропозициональных формул. Мы
предлагаем несколько естественных ослаблений клиниевской реализуемости
пропозициональных формул, основанных на следующей неформальной идее:
пропозициональная формула реализуема, если при любой подстановке у нее
найдется “простая” реализация. Мы доказываем, что все эти ослабления
приводят к одной конечно аксиоматизируемой логике — логике слабого закона
исключенного третьего. Доказательство использует характеризации
суперинтуиционистских логик с интуиционистским позитивным фрагментом,
полученные в 60-е годы Ю. Т. Медведевым и В. А. Янковым.
Поступило в декабре 2002 г.
Образец цитирования:
Н. К. Верещагин, Д. П. Скворцов, Е. З. Скворцова, А. В. Чернов, “Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьего”, Математическая логика и алгебра, Сборник статей. К 100-летию со дня рождения академика Петра Сергеевича Новикова, Труды МИАН, 242, Наука, МАИК «Наука/Интерпериодика», М., 2003, 77–97; Proc. Steklov Inst. Math., 242 (2003), 67–85
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tm406 https://www.mathnet.ru/rus/tm/v242/p77
|
Статистика просмотров: |
Страница аннотации: | 527 | PDF полного текста: | 153 | Список литературы: | 50 |
|