Высокорейтинговые публикации
В сентябрьском выпуске международного научного журнала "Logic and Logical Philosophy", который индексируется в Scopus и входит в первый квартиль по философии, вышло две статьи сотрудников кафедры логики философского факультета МГУ.
В выпуск вошли статьи:
- к.ф.н., доцент кафедры логики Олег Михайлович Григорьев и выпускник кафедры логики Ярослав Игоревич Петрухин "Modal multilattice logics with Tarski, Kuratowski, and Halmos operators"
In this paper, we consider modal multilattices with Tarski, Kuratowski, and Halmos closure and interior operators as well as the corresponding logics which are multilattice versions of the modal logics MNT4, S4, and S5, respectively. The former modal multilattice logic is a new one. The latter two modal multilattice logics have been already mentioned in the literature, but algebraic completeness results have not been established for them before. We present a multilattice version of MNT4 in a form of a sequent calculus and prove the algebraic and neighbourhood completeness theorems for it. We extend the algebraic completeness result for the multilattice versions of S4 and S5 as well.
- к.ф.н., старший преподаватель кафедры логики Александр Александрович Беликов "Peirce’s Triadic Logic and Its (Overlooked) Connexive Expansion"
In this paper, we present two variants of Peirce’s Triadic Logic within a language containing only conjunction, disjunction, and negation. The peculiarity of our systems is that conjunction and disjunction are interpreted by means of Peirce’s mysterious binary operations Ψ and Φ from his ‘Logical Notebook’. We show that semantic conditions that can be extracted from the definitions of Ψ and Φ agree (in some sense) with the traditional view on the semantic conditions of conjunction and disjunction. Thus, we support the conjecture that Peirce’s special interest in these operations is due to the fact that he interpreted them as conjunction and disjunction, respectively. We also show that one of our systems may serve as a suitable base for an interesting implicative expansion, namely the connexive three-valued logic by Cooper. Sound and complete natural deduction calculi are presented for all systems examined in this paper.
В новой рубрике "Высокорейтинговые публикации" мы рассказываем о статьях сотрудников, аспирантов и студентов философского факультета МГУ в ведущих научных журналах, входящих в первый и второй квартиль по философии.