Девяткин Леонид Юрьевич

Профессиональная деятельность

• Старший научный сотрудник сектора логики ИФ РАН.

Научные публикации

Монографии

• Многозначные расширения классической логики высказываний. М.: ИФ РАН.  2018.
• Девяткин Л.Ю., Преловский Н.Н., Томова Н.Е. В границах трехзначности. М., 2015.
• Трехзначные семантики для классической логики высказываний. М., 2011.

Избранные статьи 

• О трехзначных расширениях логики Клини // Логич. исслед. / Logical Investigations. 2023. Т. 29. № 2. C. 59-88.  DOI: 10.21146/2074-1472-2023-29-2-59-88.
• Неклассический взгляд на природу значений истинности // Логические исследования. 2022. Т. 28. № 2. С. 40–65. DOI: 10.21146/2074-1472-2022-28-2-40-65.
• О выразительных возможностях максимально паранепротиворечивых и максимально параполных четырехзначных расширений FDE // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 66–92. DOI: 10.21146/2074-1472-2021-27-2-66-92
• Континуальность множества замкнутых классов Pk+1, которые можно гомоморфно отобразить на Pk // Вестн. Моск. ун-та. Сер. 1: «Матем., мех.». 2020. № 1. С. 69‒70.
• О выразительных возможностях отдельных расширений четырехзначной логики Белнапа // Логич. исслед. / Logical Investigations. 2020. T. 26. № 2. С. 116‒143. DOI: 10.21146/2074-1472-2020-26-2-116-143.
• Many-Valued Paraconsistent Extensions of Classical Positive Propositional Calculus // Journal of Applied Logics: IfCoLog Journal of Logics and their Applications. 2019. Vol. 6. № 2. P. 229‒254.
• О подлинно паранепротиворечивых и подлинно параполных многозначных логиках // Логич. исслед. / Logical Investigations. 2019. № 2. С. 26‒45. DOI: 10.21146/2074‒1472‒2019‒25‒2‒26‒45.
• О континуальном классе четырехзначных максимально паранормальных логик. // Логич. исслед./Logical Investigations. 2018. Т. 24. № 2. 2018. С. 85–91.
• Неклассические модификации многозначных матриц классической логики. Часть II // Логич. исслед. 2017. Т. 23. № 1. С. 11–47.
• Неклассические модификации многозначных матриц классической логики. Часть I // Логич. исслед. 2016. Т. 22. № 2. С. 27–58.
• On the ‘Classical’ Operations in Three-valued Logics // Логич. исслед./Logical Investigations. 2015. T. 21. № 2. С. 61–69.
• Three-valued matrices with classical consequence relation for an arbitrary propositional language // Логические исследования. Вып. 20. М-СПб.: ЦГИ, 2014.
• Equality of consequence relations in finite-valued logical matrices // Logical Investigations. Vol. 19 (Special Issue). M.­ Spb.: C.G.I., 2013.
• Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования. Вып. 18. М-СПб.: ЦГИ, 2012.
• О некоторых функциональных свойствах трехзначных матриц для классической логики // Логические исследования. Вып. 17. М-СПб.: ЦГИ, 2011.
• n-значные матрицы для классической логики высказываний // Логические исследования. Вып. 15. М.: Наука, 2009.
• Отношение логического следования и проблема многозначности // Вестник Московского университета (Серия 7. Философия). 2008. Вып. 2.
• К вопросу о трехэлементных характеристических матрицах для классической логики высказываний // Труды научно-исследовательского семинара Логического центра Института философии РАН. М., 2007.
• Трехзначные изоморфы классической пропозициональной логики // Логические исследования. Вып. 11. М.: Наука, 2004.

Конференции

• On the minimal three-valued sublogics of the classical propositional logic // Тринадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 22-24 июня 2023 г. М.: Издатель А.В. Воробъёв, 2023. С. 15-19.
• Референциально двузначные семантики для инференциально многозначных логик // После постпозитивизма. Материалы Третьего Межд. Конгресса Русского общества истории и философии науки / Науч. ред. и сост. И.Т. Касавин и др. М.: РОИФН, 2022. С. 497–500.
• Closed Classes of Functions Generated by Maximally Paraconsistent and Paracomplete Four-Valued Expansions of FDE // Двенадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 24–26 июня 2021 г. М., 2021. С. 12-15.
• Недооценка истины и переоценка лжи в четырехзначных логиках // Восьмой Российский Философский Конгресс «Философия в полицентричном мире». Секции (I). М.: Логос; Новые печатные технологии, 2020. С. 191–194.
• Максимально паранепротиворечивые и параполные четырехзначные языковые расширения FDE // Наука как общественное благо: сб. научн. ст. / Научн. ред. и сост. И.Т. Касавин, Л.В. Шиповалова. В 7 т. Т. 4. М.: Русское общество истории философии науки, 2020. С. 213‒215.
• Not Every Genuine Paraconsistent Logic is a Logic of Formal Inconsistency // Одиннадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 19–21 июня 2019 г. М., 2019. С. 16-17.
• О квазиматричных семантиках. Логико-философские штудии. Том 16, № 1-2. 2018. С. 101-102.
• Many-Valued Paraconsistent Extensions of Classical Positive Propositional Calculus. ISRALOG17: 15-17 Oct. 2017, Haifa.
• True Lies Matrices: Undervaluation of Truth and Overvaluation of Falsity // Десятые Смирновские чтения по логике. Материалы международной научной конференции (г. Москва, 15–17 июня 2017 г.) М., 2017. С. 15–17.
• О конечнозначных логических матрицах, порождающих классическое отношение следования // Логико-философские штудии. 2016. Том 13. № 2.
• The Maximal Three-Valued Matrix for the Classical Propositional Logic // 9-е Смирновские чтения: материалы Междунар. науч. конф. (г. Москва, 17–19 июня 2015 г.). М., 2015. С. 18–19.
• Многозначные обобщения классической логики: роль в преподавании многозначных логик // «Проблемы преподавания логики и перспективы ее развития»: материалы VI Мiжн.наук.-прак.конф. (Киев, 15-16 мая 2014 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2014. С. 33-34.
• A note on equality of logical matrices (Восьмые Смирновские чтения: Междунар. науч. конф., Москва, 19-21 июня 2013 г.)
• Об одной проблеме специализации по логике и возможной роли многозначных логик в ее решении // «Проблемы викладання логики та дисциплiн логiчного циклу–5»:  материалы V Мiжн.наук.-прак.конф. (Киев, 3-4 мая 2012 г.). К.: Видавничо-поліграфічний центр "Київський університет", 2012. С. 50–51.
• О некоторых функциональных свойствах трехэлементных логических матриц с классическим отношением логического следования // Материалы XI международной научной конференции «Современная логика: проблемы теории и истории». СПб., 2010. С. 320-322.
• Классическая логика высказываний и многозначные логические матрицы // Современная логика. Материалы X Общероссийской научной конференции 26-28 июня 2008 г. СПб: Санкт-Петербургский Государственный Университет.
• Неклассические определения отношения логического следования // Смирновские чтения по логике. Материалы 5-й конференции, 2007.
• Изоморфы C₂ в трехзначной логике Гейтинга // IV Российский философский конгресс «Философия и будущее цивилизации». Материалы выступлений. Том 1. М.: Современные тетради, 2005.