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

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

Number of views:
This page:343
Abstract pages:431
Full texts:121
References:36
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. 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  Logotypes © Steklov Mathematical Institute RAS, 2020