Яшин А. Д., Макаров А. Г.
Иррефлексивная модальность, логика Даммета и континуальные цепи

Строится счетная последовательность расширений логики конечных цепей (логики Даммета) в языке, содержащем стандартные логические связки и новую связку (иррефлексивная модальность), каждая из которых определяет новую логическую связку в смысле П. С. Новикова в логике Даммета. При этом любые две логики из этого списка несовместны над последней, т. е. объединение любых двух из них содержит формулу, не входящую в логику Даммета.

A. D. Yashin, A. G. Makarov
Irreflexive Modality, the Dummett Logic, and Continual Chains

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.

DOI 10.17377/smzh.2018.59.220
Ключевые слова: новая логическая связка, подход П. С. Новикова, логика Даммета, иррефлексивная модальность.

Свободный доступ к полным текстам предоставляется после 1 июля года, следующего за годом публикации