RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2014 Volume 55, Number 1, Pages 228–234 (Mi smj2527)

This article is cited in 3 papers

Irreflexive modality as a new logical connective in the Dummett logic

A. D. Yashin

Moscow State University of Psychology and Education, Moscow, Russia

Abstract: We give an example of a countable family of extensions of Dummett's superintuitionistic logic $LC$ in a language with one extra unary logical connective each of them defining a new logical connective in $LC$ in the sense of Novikov, and every two logics in this family are incompatible over $LC$.

Keywords: Dummett logic, new logical connective, Novikov completeness.

UDC: 517.11

Received: 27.03.2013


 English version:
Siberian Mathematical Journal, 2014, 55:1, 185–190

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025