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

Доклады и лекции в базе данных Math-Net.Ru

1. Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
   Ю. В. Саватеев
   Научно-исследовательский семинар по математической логике
   21 ноября 2018 г.   
2. Нефундированные выводы для логики Go
   Ю. В. Саватеев
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   23 апреля 2018 г. 18:30
3. Non-well-founded proofs for modal Grzegorczyk logic
   Yu. Savateev
   Workshop on Proof Theory, Modal Logic and Reflection Principles
   20 октября 2017 г. 11:10   
4. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
   Ю. В. Саватеев, Д. С. Шамканов
   «Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
   10 октября 2017 г. 18:30
5. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
   Ю. В. Саватеев
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   14 декабря 2015 г. 18:30