Pentus Mati Reinovich

Publications in Math-Net.Ru

1. Chair of Mathematical Logic and Theory of Algorithms
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2025, no. 1,  23–32
2. Complexity of the Lambek calculus with one division and a negative-polarity modality for weakening
   
   Fundam. Prikl. Mat., 23:4 (2021),  143–162
3. Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening
   
   Fundam. Prikl. Mat., 23:2 (2020),  247–257
4. The atomic theory of division and intersection of semiring ideals
   
   Fundam. Prikl. Mat., 21:1 (2016),  181–191
5. The atomic theory of left division of two-sided ideals of semirings with unit
   
   Fundam. Prikl. Mat., 17:5 (2012),  129–146
6. The atomic theory of multiplication and division of semiring ideals
   
   Fundam. Prikl. Mat., 15:2 (2009),  169–189
7. The atomic theory of division of semiring ideals
   
   Fundam. Prikl. Mat., 12:2 (2006),  201–208
8. Object-oriented representation of hierarchical graphs
   
   Fundam. Prikl. Mat., 10:4 (2004),  159–170
9. Object-oriented representation of hierarchical Petri nets
   
   Fundam. Prikl. Mat., 6:3 (2000),  831–840
10. Atomic theories of residuated semigroup families
    
    Fundam. Prikl. Mat., 6:2 (2000),  627–632
11. Completeness of the Lambek syntactic calculus
    
    Fundam. Prikl. Mat., 5:1 (1999),  193–219
12. Lambek calculus and formal grammars
    
    Fundam. Prikl. Mat., 1:3 (1995),  729–751


13. Sergei Ivanovich Adian (obituary)
    
    Uspekhi Mat. Nauk, 76:1(457) (2021),  191–194
14. Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)
    
    Uspekhi Mat. Nauk, 74:4(448) (2019),  165–180
15. Sergei Ivanovich Adian (on his 75th birthday)
    
    Uspekhi Mat. Nauk, 61:3(369) (2006),  179–191