Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Янков Вадим Анатольевич
(1935–2024)
В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 11

Статистика просмотров:
Эта страница:888
Страницы публикаций:3155
Полные тексты:1332
Списки литературы:296
кандидат физико-математических наук (1963)

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

Янков, Вадим Анатольевич. Конечные импликативные структуры и реализуемость формул логики высказываний : диссертация ... кандидата физико-математических наук : 01.00.00 / В. А. Янков. - Москва, 1963. - 192 с.
   
Основные публикации:
  • Математическая логика : (Конспект лекций) / В. А. Осипова, В. А. Янков ; М-во высш. и сред. спец. образования СССР. Моск. авиац. ин-т им. Серго Орджоникидзе. - Москва : [МАИ], 1974. - 77 с.

https://www.mathnet.ru/rus/person8837
https://ru.wikipedia.org/wiki/Янков,_Вадим_Анатольевич
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/352493

Публикации в базе данных Math-Net.Ru Цитирования
1997
1. В. А. Янков, “Диалоговая интерпретация классического исчисления предикатов”, Изв. РАН. Сер. матем., 61:1 (1997),  215–224  mathnet  mathscinet  zmath  elib; V. A. Yankov, “Dialogue interpretation of the classical predicate calculus”, Izv. Math., 61:1 (1997), 225–233  isi  scopus 2
1994
2. В. А. Янков, “Диалоговая теория доказательства для арифметики, анализа и теории множеств”, Изв. РАН. Сер. матем., 58:3 (1994),  140–168  mathnet  mathscinet  zmath; V. A. Yankov, “Dialog theory of proofs for arithmetics, analysis and set theory”, Russian Acad. Sci. Izv. Math., 44:3 (1995), 571–600  isi 3
1969
3. В. А. Янков, “Конъюктивно неразложимые формулы в пропозициональных исчислениях”, Изв. АН СССР. Сер. матем., 33:1 (1969),  18–38  mathnet  mathscinet  zmath; V. A. Yankov, “Conjunctively indecomposable formulas in propositional calculi”, Math. USSR-Izv., 3:1 (1969), 17–35 16
1968
4. В. А. Янков, “Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений”, Докл. АН СССР, 181:1 (1968),  33–34  mathnet  mathscinet  zmath 7
5. В. А. Янков, “Об исчислении слабого закона исключенного третьего”, Изв. АН СССР. Сер. матем., 32:5 (1968),  1044–1051  mathnet  mathscinet  zmath; V. A. Yankov, “The calculus of the weak “Law of excluded middle””, Math. USSR-Izv., 2:5 (1968), 997–1004 26
6. В. А. Янков, “Три последовательности формул с двумя переменными в позитивной пропозициональной логике”, Изв. АН СССР. Сер. матем., 32:4 (1968),  880–883  mathnet  mathscinet  zmath; V. A. Yankov, “Three sequences of formulas with two variables in the positive propositional logic”, Math. USSR-Izv., 2:4 (1968), 845–848 1
7. В. А. Янков, “О расширении интуиционистского пропозиционального исчисления до классического и минимального до интуиционистского”, Изв. АН СССР. Сер. матем., 32:1 (1968),  208–211  mathnet  mathscinet  zmath; V. A. Yankov, “On the extension of the intuitionist propositional calculus to the classical calculus, and the minimal calculus to the intuitionist calculus”, Math. USSR-Izv., 2:1 (1968), 205–208 6
1967
8. В. А. Янков, “О финитной общезначимости формул специального вида”, Докл. АН СССР, 174:2 (1967),  302–304  mathnet  mathscinet  zmath
1963
9. В. А. Янков, “О связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами”, Докл. АН СССР, 151:6 (1963),  1293–1294  mathnet  mathscinet  zmath 12
10. В. А. Янков, “О реализуемых формулах логики высказываний”, Докл. АН СССР, 151:5 (1963),  1035–1037  mathnet  mathscinet  zmath 2
11. В. А. Янков, “О некоторых суперконструктивных исчислениях высказываний”, Докл. АН СССР, 151:4 (1963),  796–798  mathnet  mathscinet  zmath 3

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