Pentus Mati Reinovich

Publications in Math-Net.Ru

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


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