Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Саватеев Юрий Вячеславович

В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2
Лекций и докладов: 5

Статистика просмотров:
Эта страница:374
Страницы публикаций:293
Полные тексты:140
Списки литературы:23
E-mail:
Ключевые слова: исчисление Ламбека, алгоритмическая сложность, сети доказательств.

Научная биография:

МГУ, мех-мат, кафедра логики


http://www.mathnet.ru/rus/person47659
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru
2021
1. Yury Savateev, Daniyar Shamkanov, “Non-well-founded proofs for the Grzegorczyk modal logic”, Rev. Symb. Log., 14:1 (2021),  22–50  mathnet  isi  scopus
2019
2. Yury Savateev, Daniyar Shamkanov, “Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs”, Lecture Notes in Comput. Sci., 11541 (2019),  569–583  mathnet  mathscinet  scopus
2017
3. Yury Savateev, Daniyar Shamkanov, “Cut-elimination for the modal Grzegorczyk logic via non-well-founded proofs”, Lecture Notes in Comput. Sci., 10388 (2017),  321–336  mathnet  mathscinet  isi  scopus
2011
4. Ю. В. Саватеев, “Применение сетей доказательств для исследования фрагментов исчисления Ламбека”, Изв. РАН. Сер. матем., 75:3 (2011),  189–222  mathnet  mathscinet  zmath  elib; Yu. V. Savateev, “An application of proof-nets to the study of fragments of the Lambek calculus”, Izv. Math., 75:3 (2011), 631–663  isi  elib  scopus
2009
5. Ю. В. Саватеев, “Распознавание выводимости для исчисления Ламбека с одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, 2,  59–62  mathnet  mathscinet  zmath

Доклады и лекции в базе данных 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

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021