Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Yavorskaya, Tatiana Leonidovna

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4
Presentations: 19

Number of views:
This page:690
Abstract pages:542
Full texts:178
References:37
E-mail:

http://www.mathnet.ru/eng/person37148
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/690376

Publications in Math-Net.Ru
2001
1. S. N. Artemov, T. Yavorskaya, “On first order logic of proofs”, Mosc. Math. J., 1:4 (2001),  475–490  mathnet  mathscinet  zmath  isi
1998
2. T. L. Sidon, “Nonaxiomatizability of predicate logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, 6,  18–22  mathnet  mathscinet  zmath
3. T. L. Sidon, “Craig interpolation property for operational logics of proofs”, Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, 2,  34–38  mathnet  mathscinet  zmath
1997
4. T. L. Sidon, “Provability logic with operations over proofs”, Fundam. Prikl. Mat., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath

Presentations in Math-Net.Ru
1. Lecture 6. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 19, 2021 14:45   
2. Lecture 5. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 12, 2021 14:45
3. Lecture 4. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
October 5, 2021 14:45   
4. Lecture 3. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 28, 2021 14:45   
5. Lecture 2. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 21, 2021 14:45   
6. Lecture 1. Provability and Formal Arithmetic
L. D. Beklemishev, T. L. Yavorskaya
Provability and Formal Arithmetic
September 14, 2021 14:45   
7. Lecture 11. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
May 17, 2021 11:30   
8. Lecture 10. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 26, 2021 11:30   
9. Lecture 9. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 19, 2021 11:30   
10. Lecture 8. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 12, 2021 11:30   
11. Lecture 7. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
April 5, 2021 11:30   
12. Lecture 6. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 29, 2021 11:30   
13. Lecture 5. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 22, 2021 11:30   
14. Lecture 4. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 15, 2021 11:30   
15. Lecture 3. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
March 1, 2021 11:30   
16. Lecture 2. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
February 15, 2021 11:30   
17. Lecture 1. Nonclassical Logics
T. L. Yavorskaya
Nonclassical Logics
February 8, 2021 11:30   
18. Обзор курса и ответы на вопросы
S. L. Kuznetsov, T. Yavorskaya

May 14, 2020 16:00   
19. First order logic of proofs
Tatiana Yavorskaya
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 16:15   

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