Янков Вадим Анатольевич

Публикации в базе данных 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