RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирские электронные математические известия // Архив

Сиб. электрон. матем. изв., 2022, том 19, выпуск 2, страницы 562–577 (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.

УДК: 510.64

MSC: 03B20, 03B45

Поступила 21 марта 2022 г., опубликована 29 августа 2022 г.

Язык публикации: английский

DOI: 10.33048/semi.2022.19.047



Реферативные базы данных:


© МИАН, 2024