RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
 
Янков Вадим Анатольевич

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

Статистика просмотров:
Эта страница:308
Страницы публикаций:1488
Полные тексты:511
Списки литературы:129

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

Публикации в базе данных Math-Net.Ru
1. Диалоговая интерпретация классического исчисления предикатов
В. А. Янков
Изв. РАН. Сер. матем., 61:1 (1997),  215–224
2. Диалоговая теория доказательства для арифметики, анализа и теории множеств
В. А. Янков
Изв. РАН. Сер. матем., 58:3 (1994),  140–168
3. Конъюктивно неразложимые формулы в пропозициональных исчислениях
В. А. Янков
Изв. АН СССР. Сер. матем., 33:1 (1969),  18–38
4. Построение последовательности сильно независимых суперинтуиционистских пропозициональных исчислений
В. А. Янков
Докл. АН СССР, 181:1 (1968),  33–34
5. Об исчислении слабого закона исключенного третьего
В. А. Янков
Изв. АН СССР. Сер. матем., 32:5 (1968),  1044–1051
6. Три последовательности формул с двумя переменными в позитивной пропозициональной логике
В. А. Янков
Изв. АН СССР. Сер. матем., 32:4 (1968),  880–883
7. О расширении интуиционистского пропозиционального исчисления до классического и минимального до интуиционистского
В. А. Янков
Изв. АН СССР. Сер. матем., 32:1 (1968),  208–211
8. О финитной общезначимости формул специального вида
В. А. Янков
Докл. АН СССР, 174:2 (1967),  302–304
9. О связи между выводимостью в интуиционистском исчислении высказываний и конечными импликативными структурами
В. А. Янков
Докл. АН СССР, 151:6 (1963),  1293–1294
10. О реализуемых формулах логики высказываний
В. А. Янков
Докл. АН СССР, 151:5 (1963),  1035–1037
11. О некоторых суперконструктивных исчислениях высказываний
В. А. Янков
Докл. АН СССР, 151:4 (1963),  796–798

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