RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2022 Volume 19, Issue 2, Pages 562–577 (Mi semr1521)

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.

UDC: 510.64

MSC: 03B20, 03B45

Received March 21, 2022, published August 29, 2022

Language: English

DOI: 10.33048/semi.2022.19.047



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025