Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Плиско Валерий Егорович
В базах данных Math-Net.Ru
Публикаций: 23
Научных статей: 22
Лекций и докладов: 1

Статистика просмотров:
Эта страница:1833
Страницы публикаций:5494
Полные тексты:2601
Списки литературы:426
доцент
кандидат физико-математических наук (1974)
E-mail:
Сайт: https://lpcs.math.msu.su/~plisko/

Основные темы научной работы

Конструктивная логика.

Научная биография:

Родился 1 августа 1947 г. в деревне Горяне Лепельского района Витебской области БССР.
1963–1965 Учился в школе-интернате № 18 физико-математического профиля при МГУ им. М. В. Ломоносова.
1965–1970 Студент механико-математического факультета МГУ им. М. В. Ломоносова.
1970–1973 Аспирант механико-математического факультета МГУ им. М. В. Ломоносова.
1973–1978 Работал во Всесоюзном аэрофотолесоустроительном объединении "Леспроект".
1978–1986 Работал во Всесоюзном научно-исследовательском институте системных исследований (ВНИИСИ).
С 1986 года работаю на кафедре математической логики и теории алгоритмов механико-математического факультета Московского государственного университета им. М. В. Ломоносова.

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

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. В. Е. Плиско, “Неарифметичность предикатной логики примитивно рекурсивной реализуемости”, Изв. РАН. Сер. матем., 87:2 (2023),  196–228  mathnet  mathscinet; V. E. Plisko, “The nonarithmeticity of the predicate logic of primitive recursive realizability”, Izv. Math., 87:2 (2023), 389–419  isi  scopus
2017
2. В. Е. Плиско, “О конструктивной теории перечислимых видов”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, № 2,  13–19  mathnet  mathscinet; V. E. Plisko, “Constructive theory of enumerable species”, Moscow University Mathematics Bulletin, 72:2 (2017), 55–60  isi  scopus
2015
3. А. Ю. Коновалов, В. Е. Плиско, “О гиперарифметической реализуемости”, Матем. заметки, 98:5 (2015),  725–746  mathnet  mathscinet  elib; A. Yu. Konovalov, V. E. Plisko, “On Hyperarithmetical Realizability”, Math. Notes, 98:5 (2015), 778–797  isi  scopus 12
2011
4. В. Е. Плиско, “Обзор предикатной логики реализуемости”, Труды МИАН, 274 (2011),  222–251  mathnet  mathscinet  elib; Valerii E. Plisko, “A survey of predicate realizability logic”, Proc. Steklov Inst. Math., 274 (2011), 204–230  isi  elib  scopus 1
2006
5. В. Е. Плиско, “О соотношении двух понятий примитивно рекурсивной реализуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2006, № 1,  6–11  mathnet  mathscinet  zmath 1
2002
6. В. Е. Плиско, “Начала конструктивной теории моделей”, Фундамент. и прикл. матем., 8:3 (2002),  783–828  mathnet  mathscinet  zmath 1
1999
7. В. Е. Плиско, “Об арифметической сложности предикатных логик полных конструктивных арифметических теорий”, Фундамент. и прикл. матем., 5:1 (1999),  221–255  mathnet  mathscinet  zmath 2
1997
8. В. Е. Плиско, “Модифицированная реализуемость и логика предикатов”, Матем. заметки, 61:2 (1997),  259–269  mathnet  mathscinet  zmath; V. E. Plisko, “Modified realizability and predicate logic”, Math. Notes, 61:2 (1997), 212–220  isi 2
1993
9. В. Е. Плиско, “О логиках, имеющих диагностические формулы относительно минимального исчисления”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1993, № 6,  18–22  mathnet  mathscinet  zmath
1992
10. В. Е. Плиско, “Об арифметической сложности некоторых конструктивных логик”, Матем. заметки, 52:1 (1992),  94–104  mathnet  mathscinet  zmath; V. E. Plisko, “On arithmetic complexity of certain constructive logics”, Math. Notes, 52:1 (1992), 701–709  isi 5
11. В. Е. Плиско, “О понятии относительно равномерной реализуемости пропозициональных формул”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1992, № 2,  77–79  mathnet  mathscinet  zmath
1991
12. В. Е. Плиско, “О соотношении некоторых понятий конструктивной теории моделей”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 4,  38–41  mathnet  mathscinet  zmath 2
13. В. А. Успенский, В. Е. Плиско, “Диагностические пропозициональные формулы”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1991, № 3,  7–12  mathnet  mathscinet  zmath
1990
14. В. Е. Плиско, “Конструктивная формализация теоремы Тенненбаума и ее применения”, Матем. заметки, 48:3 (1990),  108–118  mathnet  mathscinet  zmath; V. E. Plisko, “Constructive formalization of the Tennenbaum theorem and its applications”, Math. Notes, 48:3 (1990), 950–957  isi 6
1988
15. В. Е. Плиско, “Исчисление А. Н. Колмогорова как фрагмент минимального исчисления”, УМН, 43:6(264) (1988),  79–91  mathnet  mathscinet  zmath; V. E. Plisko, “The Kolmogorov calculus as a part of minimal calculus”, Russian Math. Surveys, 43:6 (1988), 95–110 4
1987
16. В. Е. Плиско, “О языках с конструктивными логическими связками”, Докл. АН СССР, 296:1 (1987),  35–38  mathnet  mathscinet  zmath; V. E. Plisko, “Languages with constructive logical connectives”, Dokl. Math., 36:2 (1988), 236–239 3
1983
17. В. Е. Плиско, “Абсолютная реализуемость предикатных формул”, Изв. АН СССР. Сер. матем., 47:2 (1983),  315–334  mathnet  mathscinet  zmath; V. E. Plisko, “Absolute realizability of predicate formulas”, Math. USSR-Izv., 22:2 (1984), 291–308 22
1978
18. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Изв. АН СССР. Сер. матем., 42:3 (1978),  636–653  mathnet  mathscinet  zmath; V. E. Plisko, “Some variants of the notion of realizability for predicate formulas”, Math. USSR-Izv., 12:3 (1978), 588–604 8
1977
19. В. Е. Плиско, “Неарифметичность класса реализуемых предикатных формул”, Изв. АН СССР. Сер. матем., 41:3 (1977),  483–502  mathnet  mathscinet  zmath; V. E. Plisko, “The nonarithmeticity of the class of realizable predicate formulas”, Math. USSR-Izv., 11:3 (1977), 453–471 17
1976
20. В. Е. Плиско, “Некоторые варианты понятия реализуемости для предикатных формул”, Докл. АН СССР, 226:1 (1976),  61–64  mathnet  mathscinet  zmath 3
1974
21. В. Е. Плиско, “Рекурсивная реализуемость и конструктивная логика предикатов”, Докл. АН СССР, 214:3 (1974),  520–523  mathnet  mathscinet  zmath 5
1973
22. В. Е. Плиско, “О реализуемых предикатных формулах”, Докл. АН СССР, 212:3 (1973),  553–556  mathnet  mathscinet  zmath 6
1989
23. В. Е. Плиско, “Поправка”, УМН, 44:3(267) (1989),  205  mathnet  mathscinet; V. E. Plisko, “Errata”, Russian Math. Surveys, 44:3 (1989), 232  isi

Доклады и лекции в базе данных Math-Net.Ru
1. Constructive interpretations of logical and logical-mathematical languages
Valeri Plisko
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
13 июня 2023 г. 10:00   

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