This article is cited in 1 paper

A new constant in superintuitionistic logic $L3$

A. K. Koshcheeva<sup>ab

a</sup> Udmurt State University, ul. Universitetskaya 1/4, Izhevsk, 426034, Russia
^b Moscow City Psychological-Pedagogical University, ul. Sretenka 29, Moscow, 127051, Russia

Abstract: It is proved that there exist exactly five Novikov complete extensions of the superintuitionistic logic $L3$ in a language with one extra logical constant.

Keywords: superintuitionistic logic $L3$, new logical constant, Novikov complete extensions.

UDC: 510.64

Received: 10.11.2014

DOI: 10.17377/alglog.2015.54.103

 English version: Algebra and Logic, 2015, 54:1, 23–35

Bibliographic databases:

• 
• 
•