Известия Института математики и информатики Удмуртского государственного университета
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Изв. ИМИ УдГУ:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Изв. ИМИ УдГУ, 2016, выпуск 1(47), страницы 3–33 (Mi iimi325)  

Новые константы в предтабличных суперинтуиционистских логиках: подход П. C. Новикова

А. К. Кощеева

Удмуртский государственный университет, 426034, Россия, г. Ижевск, ул. Университетская, 1

Аннотация: П. С. Новиков в конце 50-х годов ХХ века поставил задачу о новых логических связках как экстрапонятиях для языка со стандартными логическими связками $\vee$, $\wedge$, $\rightarrow$, $\neg$. Я. С. Сметанич в своих работах привел точные формулировки подхода Новикова к понятию новых логических связок в суперинтуиционистских логиках (новая логическая связка, полнота по Новикову). В статье рассмотрена проблема П.C. Новикова применительно к новым константам в предтабличных суперинтуиционистских логиках $LC,$ $L2,$ $L3$: логика конечных цепей, логика корневых шкал глубины $2$ (вееров), логика корневых шкал глубины $3$ с наибольшим элементом (даймондов). Получено исчерпывающее описание семейства всех полных по Новикову расширений каждой из предтабличных суперинтуиционистских логик в языке с несколькими дополнительными константами: для $LC$ и $L2$ семантическое описание всех полных по Новикову расширений дано в терминах классов конечных цепей с раскраской ($LC$) и конечных вееров с раскраской ($L2$); для $L3$ подобное описание дано для случая одной константы. Установлена алгоритмическая разрешимость каждого пополнения по Новикову указанных трех суперинтуиционистских логик, а также алгоритмическая проблема распознавания консервативности расширений этих логик в языке с одной дополнительной константой.

Ключевые слова: предтабличные суперинтуиционистские логики, новые логические константы, полнота по П. С. Новикову, алгоритмическая проблема распознавания консервативности.

Полный текст: PDF файл (456 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
MSC: 03B55, 03B60
Поступила в редакцию: 01.02.2016

Образец цитирования: А. К. Кощеева, “Новые константы в предтабличных суперинтуиционистских логиках: подход П. C. Новикова”, Изв. ИМИ УдГУ, 2016, № 1(47), 3–33

Цитирование в формате AMSBIB
\RBibitem{Kos16}
\by А.~К.~Кощеева
\paper Новые константы в предтабличных суперинтуиционистских логиках: подход П.\,C.~Новикова
\jour Изв. ИМИ УдГУ
\yr 2016
\issue 1(47)
\pages 3--33
\mathnet{http://mi.mathnet.ru/iimi325}
\elib{https://elibrary.ru/item.asp?id=25980774}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/iimi325
  • http://mi.mathnet.ru/rus/iimi/y2016/i1/p3

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Известия Института математики и информатики Удмуртского государственного университета Известия Института математики и информатики Удмуртского государственного университета
    Просмотров:
    Эта страница:112
    Полный текст:42
    Литература:16
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022