|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
1997 |
| 1. |
В. А. Янков, “Диалоговая интерпретация классического исчисления предикатов”, Изв. РАН. Сер. матем., 61:1 (1997), 215–224     ; V. A. Yankov, “Dialogue interpretation of the classical predicate calculus”, Izv. Math., 61:1 (1997), 225–233   |
2
|
|
1994 |
| 2. |
В. А. Янков, “Диалоговая теория доказательства для арифметики, анализа и теории множеств”, Изв. РАН. Сер. матем., 58:3 (1994), 140–168 ; V. A. Yankov, “Dialog theory of proofs for arithmetics, analysis and set theory”, Russian Acad. Sci. Izv. Math., 44:3 (1995), 571–600 |
3
|
|
1969 |
| 3. |
В. А. Янков, “Конъюктивно неразложимые формулы в пропозициональных исчислениях”, Изв. АН СССР. Сер. матем., 33:1 (1969), 18–38 ; 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 |
7
|
| 5. |
В. А. Янков, “Об исчислении слабого закона исключенного третьего”, Изв. АН СССР. Сер. матем., 32:5 (1968), 1044–1051 ; 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 ; 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 ; 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 |
|
1963 |
| 9. |
В. А. Янков, “О связи между выводимостью в интуиционистском исчислении высказываний и конечными
импликативными структурами”, Докл. АН СССР, 151:6 (1963), 1293–1294 |
12
|
| 10. |
В. А. Янков, “О реализуемых формулах логики высказываний”, Докл. АН СССР, 151:5 (1963), 1035–1037 |
2
|
| 11. |
В. А. Янков, “О некоторых суперконструктивных исчислениях высказываний”, Докл. АН СССР, 151:4 (1963), 796–798 |
3
|
|
Обратная связь: