Аннотация:
Приводится пример счетного семейства расширений суперинтуиционистской логики Даммета LCLC в языке с дополнительной одноместной логической связкой, каждое из которых определяет новую логическую связку в LCLC в смысле П. С. Новикова, и каждые две логики из этого семейства несовместимы над LCLC.
Ключевые слова:
логика Даммета, новая логическая связка, полнота по П. С. Новикову.
А. Д. Яшин, “Иррефлексивная модальность на цепи типа ωω и полнота по П. С. Новикову”, Алгебра и логика, 59:6 (2020), 702–718; A. D. Yashin, “Irreflexive modality on a chain of type ωω and Novikov completeness”, Algebra and Logic, 59:6 (2021), 471–482
А. Д. Яшин, А. Г. Макаров, “Иррефлексивная модальность, логика Даммета и континуальные цепи”, Сиб. матем. журн., 59:2 (2018), 468–476; A. D. Yashin, A. G. Makarov, “Irreflexive modality, the Dummett logic, and continual chains”, Siberian Math. J., 59:2 (2018), 368–374
A. Yashin, “Dummett logic, irreflexive modality and Novikov completeness”, Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, ed. S. Odintsov, Springer, 2018, 319–337