Саватеев Юрий Вячеславович

Публикации в базе данных 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. Применение сетей доказательств для исследования фрагментов исчисления Ламбека
   
   Изв. РАН. Сер. матем., 75:3 (2011),  189–222
5. Распознавание выводимости для исчисления Ламбека с одним делением
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, № 2,  59–62