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

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

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



Сиб. электрон. матем. изв.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Сибирские электронные математические известия, 2022, том 19, выпуск 2, страницы 562–577
DOI: https://doi.org/10.33048/semi.2022.19.047
(Mi semr1521)
 

Математическая логика, алгебра и теория чисел

Some remarks on Došen's logic $\mathsf{N}$ and its extensions

S. O. Speranski

Steklov Mathematical Institute of Russian Academy of Sciences, 8, Gubkina str., Moscow, 119991, Russia
Список литературы:
Аннотация: This paper collects some observations about Došen's logic $\mathsf{N}$, where negation is treated as a modal operator, and its extensions. We shall see what happens when we add the contraposition axiom to several important extensions of $\mathsf{N}$, show that certain extensions of $\mathsf{N}$ are canonical, and also revisit the method of filtration.
Ключевые слова: modal negation, intuitionistic modal logic, Heyting–Ockham logic, Hype, Routley star.
Финансовая поддержка Номер гранта
Российский научный фонд 21-11-00318
This work was supported by the Russian Science Foundation under grant no. 21-11-00318.
Поступила 21 марта 2022 г., опубликована 29 августа 2022 г.
Реферативные базы данных:
Тип публикации: Статья
УДК: 510.64
MSC: 03B20, 03B45
Язык публикации: английский
Образец цитирования: S. O. Speranski, “Some remarks on Došen's logic $\mathsf{N}$ and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577
Цитирование в формате AMSBIB
\RBibitem{Spe22}
\by S.~O.~Speranski
\paper Some remarks on Do\v{s}en's logic $\mathsf{N}$ and its extensions
\jour Сиб. электрон. матем. изв.
\yr 2022
\vol 19
\issue 2
\pages 562--577
\mathnet{http://mi.mathnet.ru/semr1521}
\crossref{https://doi.org/10.33048/semi.2022.19.047}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4478148}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/semr1521
  • https://www.mathnet.ru/rus/semr/v19/i2/p562
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024