|
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.
Received: 20.01.2017
Citation:
A. D. Yashin, A. G. Makarov, “Irreflexive modality, the Dummett logic, and continual chains”, Sibirsk. Mat. Zh., 59:2 (2018), 468–476; Siberian Math. J., 59:2 (2018), 368–374
Linking options:
https://www.mathnet.ru/eng/smj2987 https://www.mathnet.ru/eng/smj/v59/i2/p468
|
|