RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Яворская Татьяна Леонидовна

В базах данных Math-Net.Ru
Публикаций: 4
Научных статей: 4
Лекций и докладов: 5

Статистика просмотров:
Эта страница:473
Страницы публикаций:491
Полные тексты:156
Списки литературы:36
E-mail:

http://www.mathnet.ru/rus/person37148
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/690376

Публикации в базе данных 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. Т. Л. Сидон, “Неаксиоматизируемость предикатных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, 6,  18–22  mathnet  mathscinet  zmath
3. Т. Л. Сидон, “Интерполяционное свойство Крейга для операторных логик доказательств”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1998, 2,  34–38  mathnet  mathscinet  zmath
1997
4. Т. Л. Сидон, “Логика доказуемости с операциями над доказательствами”, Фундамент. и прикл. матем., 3:4 (1997),  1173–1197  mathnet  mathscinet  zmath

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 3. Следствия теоремы о полноте интуиционистской логики по Крипке. Модальная логика, семантика Крипке для нее
Т. Л. Яворская
Неклассические логики
1 марта 2021 г. 11:30   
2. Лекция 2. Полнота интуиционистской логики относительно семантики Крипке
Т. Л. Яворская
Неклассические логики
15 февраля 2021 г. 11:30   
3. Лекция 1. Интуиционистская логика высказываний. Семантика Крипке
Т. Л. Яворская
Неклассические логики
8 февраля 2021 г. 11:30   
4. Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
Спецкурс «Математическая логика, часть 2»
14 мая 2020 г. 16:00   
5. First order logic of proofs
Tatiana Yavorskaya
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 16:15   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021