|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Об одной модификации формальной логики Виссера и ее связи с модальной логикой Соловэястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 19 июня 2024 г.
- Автор: Петрухин Я.И.
- Журнал: Известия высших учебных заведений. Математика
- Номер: 11
- Год издания: 2023
- Издательство: Изд-во Казан. ун-та
- Местоположение издательства: Казань
- Первая страница: 15
- Последняя страница: 25
- DOI: 10.26907/0021-3446-2023-11-15-25
- Аннотация: Мы представляем новую логику, которую мы называем SPL, погружаемую в логику доказуемости Соловэя S с помощью перевода, погружающего формальную логику Виссера FPL в логику доказуемости Гёделя-Лёба GL. SPL формулируется в виде секвенциального и натурального исчислений, для нее предлагается реляционная семантика.
- Добавил в систему: Петрухин Ярослав Игоревич