|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Интерполяционная теорема Крейга для логики с оператором Руетастатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКСтатья опубликована в журнале из списка Web of Science и/или Scopus
- Автор: Слюсарев Иван Юрьевич
- Журнал: Логические исследования
- Том: 31
- Номер: 2
- Год издания: 2025
- Издательство: Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук
- Местоположение издательства: Москва
- Первая страница: 94
- Последняя страница: 113
- Аннотация: Изучаемая здесь система — это логика, язык которой содержит унарную логическую связку, представляющую некоторую циклическую операцию на множестве истинностных значений и симулирующую своей двойной итерацией дедуктивные свойства отрицания классической логики высказываний. Эта унарная связка называется оператором Руета. Целью статьи является доказательство интерполяционной теоремы Крейга для логики с оператором Руета. Приводится определение логики с оператором Руета, ее адекватная секвенциальная аксиоматизация, строится новое секвенциальное исчисление в языке, обогащенном логическими константами, и доказывается интерполяционная теорема Крейга.
- Добавил в систему: Слюсарев Иван Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|