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

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

Статистика просмотров:
Эта страница:130
Страницы публикаций:343
Полные тексты:16
Списки литературы:66
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 18.01.2001

https://www.mathnet.ru/rus/person199511
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
ИСТИНА https://istina.msu.ru/workers/698595038
https://orcid.org/0009-0001-3117-1318
https://www.webofscience.com/wos/author/record/IQW-5328-2023
https://www.scopus.com/authid/detail.url?authorId=59206412800

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. Л. В. Дворкин, “О логиках доказуемости арифметики Нибергалля”, Изв. РАН. Сер. матем., 88:3 (2024),  61–100  mathnet  mathscinet  zmath; L. V. Dvorkin, “On provability logics of Niebergall arithmetic”, Izv. Math., 88:3 (2024), 468–505  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
7 октября 2024 г. 16:00   
2. О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
19 февраля 2024 г. 18:30   
3. О финитной аппроксимируемости одного класса предтранзитивных логик
Л. В. Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
12 февраля 2024 г. 18:30   
4. О логике доказуемости арифметики Нибергалля
Лев Дворкин
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
26 сентября 2022 г. 18:30   

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