|
Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэя
Я. И. Петрухин Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, Большой Каретный пер., д. 19, стр. 1, г. Москва, 127051, Россия
Аннотация:
Мы представляем новую логику, которую мы называем SPL, погружаемую в логику доказуемости Соловэя S с помощью перевода, погружающего формальную логику Виссера FPL в логику доказуемости Гёделя–Лёба GL. SPL формулируется в виде секвенциального и натурального исчислений, для нее предлагается семантика Крипке.
Ключевые слова:
модальная логика, секвенциальное исчисление, логика Виссера, логика Соловэя, логика доказуемости, погружающая процедура.
Поступила: 14.12.2022 Исправленный вариант: 24.05.2023 Принята к публикации: 29.05.2023
Образец цитирования:
Я. И. Петрухин, “Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэя”, Изв. вузов. Матем., 2023, № 11, 15–25
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ivm9914 https://www.mathnet.ru/rus/ivm/y2023/i11/p15
|
|