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

Sibirsk. Mat. Zh., 2018 Volume 59, Number 2, Pages 468–476 (Mi smj2987)

Irreflexive modality, the Dummett logic, and continual chains

A. D. Yashin, A. G. Makarov

Moscow State University of Psychology and Education, Moscow, Russia

Abstract: We construct a countable family of extensions of the logic of finite chains (the Dummett logic) in the language containing the standard logical connectives and a new connective (irreflexive modality), each of which determines in the Dummett logic a new logical connective in the sense of Novikov. Two arbitrary logics on this list are incompatible over the Dummett logic; i.e., their union contains a formula absent from the Dummett logic.

Keywords: new logical connective, Novikovā's approach, Dummett logic, irreflexive modality.

UDC: 517.11

MSC: 35R30

Received: 20.01.2017

DOI: 10.17377/smzh.2018.59.220


 English version:
Siberian Mathematical Journal, 2018, 59:2, 368–374

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025