Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Pentus, Mati Reinovich
Professor
Doctor of physico-mathematical sciences (2000)
Website: https://fervo.ru/mr/
Keywords: mathematical logic, proof theory, formal languages.

https://www.mathnet.ru/eng/person20343
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/341304
https://elibrary.ru/author_items.asp?authorid=195
ISTINA https://istina.msu.ru/workers/1545603
https://orcid.org/0000-0002-9483-7594
https://www.webofscience.com/wos/author/record/K-2779-2018
https://www.scopus.com/authid/detail.url?authorId=16414824700

Publications in Math-Net.Ru Citations
2025
1. A. L. Semenov, M. A. Babenko, A. Ya. Belov, N. K. Vereshchagin, M. E. Vishnikin, E. E. Zolin, V. N. Krupski, S. L. Kuznetsov, V. A. Lyubetskii, A. A. Onoprienko, M. R. Pentus, S. F. Soprunov, A. A. Sorokin, V. B. Shehtman, T. L. Yavorskaya, “Chair of Mathematical Logic and Theory of Algorithms”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32  mathnet  elib; Moscow University Mathematics Bulletin, 80:1 (2025), 23–33
2021
2. A. E. Pentus, M. R. Pentus, “Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening”, Fundam. Prikl. Mat., 23:4 (2021),  143–162  mathnet; J. Math. Sci., 269:4 (2023), 544–557
2020
3. A. E. Pentus, M. R. Pentus, “Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening”, Fundam. Prikl. Mat., 23:2 (2020),  247–257  mathnet; J. Math. Sci., 262:5 (2022), 759–766 1
2016
4. A. E. Pentus, M. R. Pentus, “The atomic theory of division and intersection of semiring ideals”, Fundam. Prikl. Mat., 21:1 (2016),  181–191  mathnet  mathscinet; J. Math. Sci., 233:5 (2018), 724–731  scopus
2012
5. A. E. Pentus, M. R. Pentus, “The atomic theory of left division of two-sided ideals of semirings with unit”, Fundam. Prikl. Mat., 17:5 (2012),  129–146  mathnet; J. Math. Sci., 193:4 (2013), 566–579  scopus 3
2009
6. A. E. Pentus, M. R. Pentus, “The atomic theory of multiplication and division of semiring ideals”, Fundam. Prikl. Mat., 15:2 (2009),  169–189  mathnet  mathscinet; J. Math. Sci., 167:6 (2010), 841–856  scopus 1
2006
7. A. E. Pentus, M. R. Pentus, “The atomic theory of division of semiring ideals”, Fundam. Prikl. Mat., 12:2 (2006),  201–208  mathnet  mathscinet  zmath; J. Math. Sci., 149:2 (2008), 1176–1181  scopus 3
2004
8. A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical graphs”, Fundam. Prikl. Mat., 10:4 (2004),  159–170  mathnet  mathscinet  zmath; J. Math. Sci., 140:2 (2007), 286–294  scopus
2000
9. A. E. Pentus, M. R. Pentus, “Object-oriented representation of hierarchical Petri nets”, Fundam. Prikl. Mat., 6:3 (2000),  831–840  mathnet  mathscinet  zmath 1
10. M. R. Pentus, “Atomic theories of residuated semigroup families”, Fundam. Prikl. Mat., 6:2 (2000),  627–632  mathnet  mathscinet  zmath
1999
11. M. R. Pentus, “Completeness of the Lambek syntactic calculus”, Fundam. Prikl. Mat., 5:1 (1999),  193–219  mathnet  mathscinet  zmath 2
1995
12. M. R. Pentus, “Lambek calculus and formal grammars”, Fundam. Prikl. Mat., 1:3 (1995),  729–751  mathnet  mathscinet  zmath 4
2021
13. V. S. Atabekyan, L. D. Beklemishev, V. M. Buchstaber, S. S. Goncharov, V. S. Guba, Yu. L. Ershov, V. V. Kozlov, I. G. Lysenok, S. P. Novikov, Yu. S. Osipov, M. R. Pentus, V. V. Podolskii, A. A. Razborov, V. A. Sadovnichii, A. L. Semenov, A. L. Talambutsa, D. V. Treschev, L. N. Shevrin, “Sergei Ivanovich Adian (obituary)”, Uspekhi Mat. Nauk, 76:1(457) (2021),  191–194  mathnet  mathscinet  zmath; Russian Math. Surveys, 76:1 (2021), 177–181  isi
2019
14. S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Uspekhi Mat. Nauk, 74:4(448) (2019),  165–180  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 74:4 (2019), 735–753  isi 1
2006
15. L. D. Beklemishev, I. G. Lysenok, A. A. Mal'tsev, S. P. Novikov, M. R. Pentus, A. A. Razborov, A. L. Semenov, V. A. Uspenskii, “Sergei Ivanovich Adian (on his 75th birthday)”, Uspekhi Mat. Nauk, 61:3(369) (2006),  179–191  mathnet  mathscinet  zmath  elib; Russian Math. Surveys, 61:3 (2006), 575–588  isi 2

Presentations in Math-Net.Ru
1. Синтаксическое исчисление Ламбека. Лекция 2
M. R. Pentus
Two-Day Autumn School "Modern Trends in Mathematical Logic"
September 2, 2025 17:00   
2. Синтаксическое исчисление Ламбека. Лекция 1
M. R. Pentus
Two-Day Autumn School "Modern Trends in Mathematical Logic"
September 2, 2025 15:00   
3. Lecture 12. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
May 21, 2024 18:00   
4. Lecture 11. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
April 23, 2024 18:00   
5. Lecture 10. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
April 16, 2024 18:00   
6. Lecture 9. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
April 9, 2024 18:00   
7. Lecture 8. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
April 2, 2024 18:00   
8. Lecture 7. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
March 26, 2024 18:00   
9. Lecture 6. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
March 19, 2024 18:00   
10. Lecture 5. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
March 12, 2024 18:00   
11. Lecture 4. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
March 5, 2024 18:00   
12. Lecture 3. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
February 27, 2024 18:00   
13. Lecture 2. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
February 20, 2024 18:00   
14. Lecture 1. Context-free languages
M. R. Pentus
Course by M. R. Pentus "Context-free languages"
February 13, 2024 18:00   
15. Lambek Syntactic Calculus
M. R. Pentus
Seminar by S. L. Kuznetsov and S. O. Speranski "Logical and algebraic methods in linguistics"
February 15, 2023 18:00   
16. Lecture 10. A derivability criterion for $L^*(\backslash,/,\cdot)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
December 7, 2018 16:45   
17. Lecture 9. The final part of the proof of the derivability criterion for $L^*(\backslash,/)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
November 23, 2018 16:45   
18. Lecture 8. The first part of the proof of the derivability criterion for $L^*(\backslash,/)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
November 16, 2018 16:45   
19. Lecture 7. The formulation of a derivability criterion for $L^*(\backslash,/)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
November 9, 2018 16:45   
20. Lecture 6. A fast algorithm for the search of a proof net for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
November 2, 2018 16:45   
21. Lecture 5. The final part of the proof of the derivability criterion for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
October 26, 2018 16:45   
22. Lecture 4. The second part of the proof of the derivability criterion for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
October 19, 2018 16:45   
23. Lecture 3. The first part of the proof of the derivability criterion for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
October 12, 2018 16:45   
24. Lecture 2. Characterization of derivability for $L(\backslash)$
M. R. Pentus
Special course "Complexity of the Lambek calculus"
October 5, 2018 16:45   
25. Lecture 1. The Lambek calculus
M. R. Pentus
Special course "Complexity of the Lambek calculus"
September 21, 2018 16:45
26. Межфакультетский курс «Категориальные грамматики». Лекция 11
M. R. Pentus

April 27, 2016 17:00   
27. Межфакультетский курс «Категориальные грамматики». Лекция 8
M. R. Pentus, S. L. Kuznetsov

April 6, 2016 17:00   
28. Межфакультетский курс «Категориальные грамматики». Лекция 7
M. R. Pentus

March 30, 2016 17:00   
29. Межфакультетский курс «Категориальные грамматики». Лекция 6
S. L. Kuznetsov, M. R. Pentus

March 23, 2016 17:00   
30. Complexity of the Lambek calculus and its fragments
Mati Pentus
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 27, 2010 10:45   

Organisations