Yavorskaya Tatiana Leonidovna

Publications in Math-Net.Ru

1. On first order logic of proofs
   
   Mosc. Math. J., 1:4 (2001),  475–490
2. Nonaxiomatizability of predicate logics of proofs
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 6,  18–22
3. Craig interpolation property for operational logics of proofs
   
   Vestnik Moskov. Univ. Ser. 1. Mat. Mekh., 1998, no. 2,  34–38
4. Provability logic with operations over proofs
   
   Fundam. Prikl. Mat., 3:4 (1997),  1173–1197