|
Mathematical logic, algebra and number theory
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
Abstract:
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.
Keywords:
modal negation, intuitionistic modal logic, Heyting–Ockham logic, Hype, Routley star.
Received March 21, 2022, published August 29, 2022
Citation:
S. O. Speranski, “Some remarks on Došen's logic $\mathsf{N}$ and its extensions”, Sib. Èlektron. Mat. Izv., 19:2 (2022), 562–577
Linking options:
https://www.mathnet.ru/eng/semr1521 https://www.mathnet.ru/eng/semr/v19/i2/p562
|
Statistics & downloads: |
Abstract page: | 96 | Full-text PDF : | 35 | References: | 25 |
|