Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 годасборник
Статьи, опубликованные в сборнике
-
-
2017
Aristotle’s logic and theology: communicative aspects of mutual influence
-
Griftsova I.N.,
Sorina G.V.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 136-136
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
2017
Completeness via Correspondence for Extensions of Paraconsistent Weak Kleene Logic
-
Petrukhin Y.I.,
Shangin V.O.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 114-115
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
-
-
2017
On existence of recursively enumerable Kripke complete first-order modal logics that are not complete with respect to a first-order definable class of frames
-
Rybakov M.N.,
Shkatov D.P.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 45-45
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-
-
-
2017
Realizability semantics for the predicate formulas based on generalized computability
-
Konovalov A.Yu,
Plisko V.E.
-
в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 26-27
-
редакторы
Герасимова Ирина Алексеевна,
Григорьев Олег Михайлович,
Зайцев Дмитрий Владимирович,
Ивлев Юрий Васильевич,
Маркин Владимир Ильич,
Шалак Владимир Иванович
-
-