Savateev Yurii Vaycheslavovich

Publications in Math-Net.Ru

1. Non-well-founded proofs for the Grzegorczyk modal logic
   
   Rev. Symb. Log., 14:1 (2021),  22–50
2. Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs
   
   Lecture Notes in Comput. Sci., 11541 (2019),  569–583
3. Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs
   
   Lecture Notes in Comput. Sci., 10388 (2017),  321–336
4. An application of proof-nets to the study of fragments of the Lambek calculus
   
   Izv. RAN. Ser. Mat., 75:3 (2011),  189–222
5. Recognition of derivability for the Lambek calculus with one division
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2009, no. 2,  59–62