Яворская Татьяна Леонидовна

Публикации в базе данных Math-Net.Ru

1. On first order logic of proofs
   
   Mosc. Math. J., 1:4 (2001),  475–490
2. Неаксиоматизируемость предикатных логик доказательств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 6,  18–22
3. Интерполяционное свойство Крейга для операторных логик доказательств
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, № 2,  34–38
4. Логика доказуемости с операциями над доказательствами
   
   Фундамент. и прикл. матем., 3:4 (1997),  1173–1197