Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Savateev, Yurii Vaycheslavovich

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2
Presentations: 5

Number of views:
This page:374
Abstract pages:294
Full texts:140
References:23
E-mail:

http://www.mathnet.ru/eng/person47659
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in 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. Yu. V. Savateev, “An application of proof-nets to the study of fragments of the Lambek calculus”, Izv. RAN. Ser. Mat., 75:3 (2011),  189–222  mathnet  mathscinet  zmath  elib; Izv. Math., 75:3 (2011), 631–663  isi  elib  scopus
2009
5. Yu. V. Savateev, “Recognition of derivability for the Lambek calculus with one division”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 2009, 2,  59–62  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика
Yu. V. Savateev

November 21, 2018   
2. Нефундированные выводы для логики Go
Yu. V. Savateev
Seminars "Proof Theory" and "Logic Online Seminar"
April 23, 2018 18:30
3. Non-well-founded proofs for modal Grzegorczyk logic
Yu. Savateev
Workshop on Proof Theory, Modal Logic and Reflection Principles
October 20, 2017 11:10   
4. Секвенциальное исчисление с бесконечными выводами для логики Гжегорчика
Yu. V. Savateev, D. S. Shamkanov
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 10, 2017 18:30
5. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Yu. V. Savateev
Seminars "Proof Theory" and "Logic Online Seminar"
December 14, 2015 18:30

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2021