Leonid Devyatkin

Year and place of birth

16 august 1982, Moscow

Eduction

Graduate, Dapartment of Philosophy of the MSU, 2004.

Degree

Ph.D., thesis: "Multi-valued isomorphs of the classical propositional logics", IPh RAS, 2008.

Fields of research

Multivalued logics, classical propositional logic, logical consequence.

ORCID ID: 0000-0002-3974-7481; Researcher ID (Web of Science): U-9085-2018; Scopus Author ID: 57210701271

Scientific publications

Monographs

Mnogoznachnye rasshireniya klassicheskoj logiki vyskazyvanij [Many-valued extensions of the classical propositional logic]. M.: IPh RAS, 2018.
Devyatkin L.Yu., Prelovskii N.N., Tomova N.E. V granitsakh trekhznachnosti [Within the boundaries of three-valuedness]. M.: IPh RAS, 2015.
Three-valued semantics for the classical propositional logic. M.: IPh RAS, 2011.

Selected papers

Neklassicheskij vzgljad na prirodu znachenij istinnosti [A non-classical view of the nature of truth values] // Logicheskie Issledovaniya / Logical Investigations. 2023. Vol. 28. No 2. P. 40-65.
O vyrazitel'nyh vozmozhnostyah maksimal'no paraneprotivorechivyh i maksimal'no parapolnyh chetyrekhznachnyh rasshirenij FDE [On the expressive power of maximally paraconsistent and paracomplete expansions of FDE] // Logicheskie Issledovaniya / Logical Investigations. 2021. Vol. 27. № 2. P. 66‒92.
The Set of closed classes Pk+1 that can be homomorphically mapped on Pk has the cardinality of continuum // Moscow University Mathematics Bulletin. Vol. 75. No 1. P. 47‒48. DOI: 10.3103/S0027132220010088.
O vyrazitel'nykh vozmozhnostyakh otdel'nykh rasshirenii chetyrekhznachnoi logiki Belnapa [On the expressive power of certain expansions of Belnap's four-valued logic] // Logical Investigations. 2020. Vol. 26. No 2. P. 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.
O podlinno paraneprotivorechivykh i podlinno parapolnykh mnogoznachnykh logikakh [On genuine paraconsistent and genuine paracomplete newline many-valued logics] // Logical Investigations. 2019. № 2. P. 26‒45. DOI: 10.21146/2074‒1472‒2019‒25‒2‒26‒45.
On a continual class of four-valued maximally paranormal logics // Logical Investigations. 2018. Vol. 24. № 2. 2018. P. 85–91.
Neklassicheskie modifikatsii mnogoznachnykh matrits klassicheskoi logiki. Chast II [Non-classical modification of many valued matrices of the classical propositional logic. Part II] // Logich. issled./Logical Investigations 2017. Vol. 23. № 1. P. 11–47.
Neklassicheskie modifikatsii mnogoznachnykh matrits klassicheskoi logiki. Chast I [Non-classical modification of many valued matrices of the classical propositional logic. Part I] // Logich. issled./Logical Investigations 2016. Vol. 22. № 2. P. 27–58.
On the ‘Classical’ Operations in Three-valued Logics // Logich. issled./Logical Investigations. 2015. Vol. 21. № 2. P. 61–69.
Three-valued matrices with classical consequence relation for an arbitrary propositional language // Logical Investigations. Vol. 20. – M.-SPb: C.G.I., 2014.
Equality of consequence relations in finite-valued logical matrices // Logical Investigations. Vol. 19 (Special Issue). M. Spb.: C.G.I., 2013.
Four consequence relations, three orders, two matrices, one bilattice // Logical Investigations. Vol 18. – M.-SPb: C.G.I., 2012.
On some functional properties of three-valued logical matrices for classical logic // Logical Investigations. Vol. 17. M-SPb.: Center of humanitarian initiatives, 2011.
n-valued matrices for the classical propositional logic // Logical Investigatoins. Vol.15. M.: Nauka, 2009.
Logical consequence relation and the problem of multi-valuedness // Vestnik MGU. Seriya 7. Filosofiya. 2008. Issue 2.
Three-valued isomorphs of the classical propositional logic // Logical Investigations. Vol. 11. M.: Nauka, 2004

Conferences

Referencial'no dvuznachnye semantiki dlja inferencial'no mnogoznachnyh logik [Referentially two-valued semantics for inferentially multi-valued logics] // Posle postpozitivizma. Materialy Tret'ego Mezhd. Kongressa Russkogo obshhestva istorii i filosofii nauki [After post-positivism. Materials of the Third Intl. Congress of the Russian Society of History and Philosophy of Science] / Scientific ed. and comp. I.T. Kasavin et al. M.: ROIFN, 2022. P. 497-500.
Closed Classes of Functions Generated by Maximally Paraconsistent and Paracomplete Four-Valued Expansions of FDE // Dvenadtsatye Smirnovskie chteniya: materialy Mezhdunar. nauch. konf. [Twelfth Smirnov readings: materials of the international conference], Moscow, 24–26 June 2021. M., 2021. P. 12-15.
Nedoocenka istiny i pereocenka lzhi v chetyrekhznachnyh logikah [Undervaluation of truth and overvaluation of falsity in four-valued logics] // Vos'moj Rossijskij Filosofskij Kongress «Filosofiya v policentrichnom mire». Sekcii (I). M.: Logos; Novye pechatnye tekhnologii, 2020. S. 191–194.
Maksimal'no paraneprotivorechivye i parapolnye chetyrekhznachnye yazykovye rasshireniya FDE [Maximally paraconsistent and paracomplete four valued expansions of FDE] // Nauka kak obshchestvennoe blago: sb. nauchn. st. [Science as a Public Good: collected papers] / Ed. by I.T. Kasavin, L.V. Shipovalova. Vol. 4. M.: Russkoe obshchestvo istorii i filosofii nauki, 2020. P. 213‒215.
Not Every Genuine Paraconsistent Logic is a Logic of Formal Inconsistency // Odinnadtsatye Smirnovskie chteniya: materialy Mezhdunar. nauch. konf. [Eleventh Smirnov readings: materials of the international conference], Moscow, 19–21 June 2019. M., 2019. P. 16-17.
O kvazimatrichnykh semantikakh [On quasi-matrix semantics] // Logiko-filosofskie shtudii. Vol 16, № 1-2. 2018. P. 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 // 10-e Smirnovskie chteniya: materialy Mezhdunar. nauch. konf. [10-th Smirnov readings: materials of the international conference] (Moscow, 15–17 june 2017). M., 2017. P. 15–17.
On finite-valued logical matrices which induce the classical consequence relation // Logico-Philosophical Studies. 2016. V. 13. № 2.
The Maximal Three-Valued Matrix for the Classical Propositional Logic // 9-e Smirnovskie chteniya: materialy Mezhdunar. nauch. konf. [9-th Smirnov readings: materials of the international conference] (Moscow, 17–19 june 2015). M., 2015. P. 18–19.
Multi-valued generalizations of classical logic: their role in the teaching of multi-valued logics // Problems of Logical Education. VI International Conference, Kiev, 2014. P. 33-34.
A note on equality of logical matrices (Eighth Smirnov's Readings in logic: International conference, Moscow, 19-21 june 2013).
One problem of specialization in logic and the possible role of multi-valued logic in it's solution // Problems of Logical Education. V International Conference, Kiev, 3-4 May 2012. Pp. 50–51.
On some functional properties of three-valued logical matrices with classical consequence relation // Materials of XI international science conference "Modern Logic: problems of history and theory". SPb, 2010, pp. 320-322.
Classical propositional logic and the multi-valued logical matrices // Modern logic. Materials of X -Russia wide science conference 26-28 June 2008. SPb: SPbGU.
Non-classical definitions of consequence relation // Smirvov's Readings in Logic. Materials of the 5th conference, 2007.

Email: leonid_devyatkin @ mail.ru