Я. И. Петрухин, “Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэя”, Изв. вузов. Матем., 2023, номер 11,страницы 15

Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэя

Я. И. Петрухин

Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, Большой Каретный пер., д. 19, стр. 1, г. Москва, 127051, Россия

Аннотация: Мы представляем новую логику, которую мы называем SPL, погружаемую в логику доказуемости Соловэя S с помощью перевода, погружающего формальную логику Виссера FPL в логику доказуемости Гёделя–Лёба GL. SPL формулируется в виде секвенциального и натурального исчислений, для нее предлагается семантика Крипке.

Ключевые слова: модальная логика, секвенциальное исчисление, логика Виссера, логика Соловэя, логика доказуемости, погружающая процедура.

УДК: 510.6

Поступила: 14.12.2022
Исправленный вариант: 24.05.2023
Принята к публикации: 29.05.2023

DOI: 10.26907/0021-3446-2023-11-15-25