Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кузичев Александр Сергеевич
E-mail:
Ключевые слова: комбинаторная логика, лямбда-исчисление, исчисление секвенций, теория множеств, теория доказательств
Коды УДК: 510.1:517.12

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

математическая логика и основания математики
   
Основные публикации:
  1. Кузичев А. С., Диаграммы Венна, Наука, Москва, 1968

https://www.mathnet.ru/rus/person138793
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/189637
ИСТИНА https://istina.msu.ru/workers/17907951

Публикации в базе данных Math-Net.Ru Цитирования
1988
1. А. А. Кузичев, А. С. Кузичев, “Об одном консервативном расширении формальной арифметики”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1988, № 6,  77–78  mathnet  mathscinet  zmath
1983
2. А. С. Кузичев, “Теорема о непротиворечивости системы $\mathrm{ZF}$ Цермело–Френкеля”, Докл. АН СССР, 273:5 (1983),  1053–1057  mathnet  mathscinet  zmath
3. А. С. Кузичев, “Арифметическая полнота бестиповой логики”, Докл. АН СССР, 270:6 (1983),  1323–1327  mathnet  mathscinet  zmath
4. А. С. Кузичев, “Непротиворечивость системы $\mathcal{N}F$ Куайна”, Докл. АН СССР, 270:3 (1983),  537–541  mathnet  mathscinet  zmath
5. А. С. Кузичев, “Арифметически непротиворечивые $\lambda$-теории бестиповой логики”, Докл. АН СССР, 268:2 (1983),  288–292  mathnet  mathscinet  zmath
6. А. С. Кузичев, “Теория множеств в бестиповых комбинаторно полных системах”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1983, № 3,  36–42  mathnet  mathscinet  zmath
1982
7. А. С. Кузичев, “О представлении теорий первого порядка в бестиповых комбинаторно полных системах”, Докл. АН СССР, 266:1 (1982),  23–27  mathnet  mathscinet  zmath
8. А. С. Кузичев, “Аксиоматические теории в комбинаторно полных системах”, Докл. АН СССР, 264:3 (1982),  538–542  mathnet  mathscinet  zmath
9. А. С. Кузичев, “Арифметически непротиворечивые $\lambda$-теории”, Докл. АН СССР, 262:4 (1982),  795–799  mathnet  mathscinet  zmath
1981
10. А. С. Кузичев, “Арифметические теории, строящиеся на основе $\lambda$-конверсии”, Докл. АН СССР, 261:4 (1981),  792–796  mathnet  mathscinet  zmath
1980
11. А. А. Кузичев, А. С. Кузичев, “О погружении формальной арифметики в комбинаторно полные системы”, Докл. АН СССР, 250:6 (1980),  1310–1315  mathnet  mathscinet  zmath
1979
12. А. С. Кузичев, “Классы объектов, имеющих нормальные формы, в системе $\lambda$-конверсии с логическими операторами”, Докл. АН СССР, 249:1 (1979),  41–45  mathnet  mathscinet  zmath
1978
13. А. С. Кузичев, “О непротиворечивости формальной арифметики”, Докл. АН СССР, 243:5 (1978),  1123–1126  mathnet  mathscinet  zmath
14. А. С. Кузичев, “Теорема о средней секвенции в $\mathscr{A}$-системе $\lambda$-конверсии”, Докл. АН СССР, 243:1 (1978),  19–21  mathnet  mathscinet  zmath
15. А. С. Кузичев, “Теорема о непротиворечивости формальной арифметики”, Докл. АН СССР, 238:2 (1978),  269–272  mathnet  mathscinet  zmath
1977
16. А. С. Кузичев, “Формальная арифметика в $\mathscr{A}$-системе $\lambda$-конверсии”, Докл. АН СССР, 236:5 (1977),  1072–1075  mathnet  mathscinet  zmath
17. А. С. Кузичев, “Система $\lambda$-конверсии с логическими операторами и оператором равенства”, Докл. АН СССР, 236:4 (1977),  796–799  mathnet  mathscinet  zmath
1973
18. А. С. Кузичев, “Система $\lambda$-конверсии с дедуктивным оператором формальной импликации”, Докл. АН СССР, 212:6 (1973),  1290–1292  mathnet  mathscinet  zmath
19. А. С. Кузичев, “Дедуктивно-комбинаторное построение теории функциональностей”, Докл. АН СССР, 209:3 (1973),  541–543  mathnet  mathscinet  zmath
1971
20. А. С. Кузичев, “$F^n$-системы комбинаторной логики. Обобщенный арифметический оператор”, Докл. АН СССР, 198:4 (1971),  759–761  mathnet  mathscinet  zmath
1983
21. А. С. Кузичев, “Поправки к статье "Арифметически непротиворечивые $\lambda$-теории бестиповой логики" (ДАН, т. 268, № 2, 1983 г.)”, Докл. АН СССР, 272:1 (1983),  10  mathnet  mathscinet

Организации