|
Математическая логика, алгебра и теория чисел
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 марта 2022 г., опубликована 29 августа 2022 г.
Образец цитирования:
S. O. Speranski, “Some remarks on Došen's logic $\mathsf{N}$ and its extensions”, Сиб. электрон. матем. изв., 19:2 (2022), 562–577
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/semr1521 https://www.mathnet.ru/rus/semr/v19/i2/p562
|
|