Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Кузнецов Степан Львович

Публикаций: 59 (47)
в MathSciNet: 25 (23)
в zbMATH: 15 (14)
в Web of Science: 12 (12)
в Scopus: 32 (32)
Цитированных статей: 26
Цитирований в Math-Net.Ru: 3
Цитирований в MathSciNet: 20
Цитирований в Web of Science: 23
Цитирований в Scopus: 101
Лекций и докладов: 90

Статистика просмотров:
Эта страница:6825
Страницы публикаций:1604
Полные тексты:1097
Списки литературы:60
Кузнецов Степан Львович
кандидат физико-математических наук (2012)
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 30.06.1988
Сайт: http://homepage.mi-ras.ru/~sk

http://www.mathnet.ru/rus/person72238
https://scholar.google.com/citations?user=DGNxp2EAAAAJ&hl=ru
https://zbmath.org/authors/?q=ai:kuznetsov.stepan
https://mathscinet.ams.org/mathscinet/MRAuthorID/877457
http://orcid.org/0000-0003-0025-0133
http://www.researcherid.com/rid/P-2607-2016
https://www.scopus.com/authid/detail.url?authorId=54914981600
https://www.researchgate.net/profile/Stepan_Kuznetsov

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | общий список |



   2021
1. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The multiplicative-additive Lambek calculus with subexponential and bracket modalities”, J. Logic Lang. Inf., 30:1 (2021), 31–88  mathnet  crossref  isi (cited: 1)  scopus;
2. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Language models for some extensions of the Lambek calculus”, Inform. and Comput., 2021, 104760 (Published online) , 16 pp., arXiv: 2008.00070  mathnet  crossref  scopus; (Published online)
3. Stepan Kuznetsov, “Action logic is undecidable”, ACM Trans. Comput. Log., 22:2 (2021), 10 , 26 pp., arXiv: 1912.11273  mathnet  crossref;
4. Stepan L. Kuznetsov, “Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs”, Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference, TABLEAUX 2021 (Birmingham, UK, September 6–9, 2021), Lecture Notes in Comput. Sci., 12842, eds. A. Das, S. Negri, Springer, 2021, 317–334  crossref
5. Stepan L. Kuznetsov, “Relational models for the Lambek calculus with intersection and unit”, Relational and Algebraic Methods in Computer Science, 19th International Conference, RAMICS 2021, Lecture Notes in Comput. Sci., Springer, 2021 (to appear)

   2020
6. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Reconciling Lambek's restriction, cut-elimination, and substitution in the presence of exponential modalities”, J. Logic Comput., 30:1 (2020), 239–256  mathnet  crossref  mathscinet  isi (cited: 1)  scopus (cited: 2)
7. С. Л. Кузнецов, Н. С. Рыжкова, “Ограниченный фрагмент исчисления Ламбека с операциями итерации и пересечения”, Алгебра и логика, 59:2 (2020), 190–214  mathnet  crossref  mathscinet  isi; S. L. Kuznetsov, N. S. Ryzhkova, “A restricted fragment of the Lambek calculus with iteration and intersection operations”, Algebra and Logic, 59:2 (2020), 129–146  crossref  mathscinet  isi  scopus (cited: 1)
8. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Soft subexponentials and multiplexing”, Automated Reasoning, 10th International Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Lecture Notes in Comput. Sci., 12166, Springer, 2020, 500–517  mathnet  crossref  scopus
9. Stepan Kuznetsov, “Complexity of the infinitary Lambek calculus with Kleene star”, Rev. Symb. Log., 2020, 1–28 (Published online) , arXiv: 2005.00404  mathnet  crossref  scopus
10. Stepan Kuznetsov, “The ‘long rule’ in the Lambek calculus with iteration: undecidability without meets and joins”, AiML 2020, Helsinki, Finland, August 24–28, 2020, Advances in Modal Logic, 13, College Publications, London, 2020, 425–449  mathnet
11. Stepan L. Kuznetsov, “A $\Pi^0_1$-bounded fragment of infinitary action logic with exponential”, Logic, Language, and Security: Scedrov Festschrift, Lecture Notes in Comput. Sci., 12300, Springer, Cham, 2020, 3–16  mathnet  crossref  scopus;
12. Stepan Kuznetsov, “Complexity of Commutative Infinitary Action Logic”, Dynamic Logic. New Trends and Applications, Third International Workshop, DaLi 2020, Prague, Czech Republic, October 9–10, 2020, Lecture Notes in Comput. Sci., 12569, Springer, Cham, 2020, 155–169  mathnet  crossref  scopus;
13. С. Кузнецов, “Как проверить число на простоту?”, Квант, 2020, № 10, 32–33  mathnet

   2019
14. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “Subexponentials in non-commutative linear logic”, Math. Structures Comput. Sci., 29:8, A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday (2019), 1217–1249 , arXiv: 1709.03607  mathnet  crossref  mathscinet  isi (cited: 5)  scopus (cited: 8)
15. Stepan Kuznetsov, Valentina Lugovaya, Anastasiia Ryzhova, “Craig’s trick and a non-sequential system for the Lambek calculus and its fragments”, Log. J. IGPL, 27:3 (2019), 252–266  mathnet  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 1)
16. Stepan Kuznetsov, “The logic of action lattices is undecidable”, Proc. 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019 (Vancouver, B.C., June 24–27, 2019), IEEE, 2019, 1–9  crossref  isi (cited: 1)  scopus (cited: 6)
17. Stepan Kuznetsov, “Complexity of reasoning in residuated Kleene algebras”, 5th International Workshop on Structures and Deduction (Dortmund, June 29–30, 2019), 2019 http://www.anupamdas.com/sd19/papers/SD19_paper_9.pdf
18. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “The complexity of multiplicative-additive Lambek calculus: 25 years later”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 356–372  mathnet  crossref  mathscinet  zmath  scopus (cited: 3)
19. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit”, WoLLIC 2019: Logic, Language, Information, and Computation, International Workshop on Logic, Language, Information, and Computation (Utrecht, July 2–5, 2019), Lecture Notes in Comput. Sci., 11541, Springer, Berlin, Heidelberg, 2019, 373–391  mathnet  crossref  mathscinet  zmath  scopus (cited: 3)
20. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of a Newly Proposed Calculus for CatLog3”, Formal Grammar, 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Lecture Notes in Comput. Sci., 11668, Springer, Berlin, Heidelberg, 2019, 67–83  mathnet  crossref  mathscinet  scopus (cited: 2)
21. Stepan Kuznetsov, “Half a way towards circular proofs for Kleene lattices”, Circularity in Syntax and Semantics (Gothenburg, November 20–22, 2019), University of Gothenburg, Gothenburg, 2019, 42–45 http://www.cse.chalmers.se/~bahafs/CiSS2019/CiSS2019BoA.pdf
22. С. Кузнецов, “Еще раз о полуправильных многогранниках”, Квант, 2019, № 3, 29–31  mathnet  crossref
23. С. Кузнецов, “Египетские дроби”, Квант, 2019, № 12, 10–11  mathnet  crossref

   2018
24. Glyn Morrill, Stepan Kuznetsov, Max Kanovich, Andre Scedrov, “Bracket induction for the Lambek calculus with bracket modalities”, Formal Grammar 2018, 23rd International Conference, FG 2018 (Sofia, Bulgaria, August 11–12, 2018), Lecture Notes in Comput. Sci., 10950, Springer-Verlag, Berlin, Heidelberg, 2018, 84–101  mathnet  crossref  mathscinet  scopus (cited: 2)
25. Max Kanovich, Stepan Kuznetsov, Vivek Nigam, Andre Scedrov, “A logical framework with commutative and non-commutative subexponentials”, Automated Reasoning, IJCAR 2018 (Oxford, UK, July 14-17, 2018), Lecture Notes in Comput. Sci., 10900, eds. D. Galmiche, S. Schulz, R. Sebastiani, Springer, Cham, 2018, 228–245  mathnet  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 6)
26. С. Л. Кузнецов, “О полноте фрагмента исчисления Ламбека с операциями итерации и пересечения относительно реляционных моделей”, Мальцевские чтения 2018 (Новосибирск, 19–22 ноября 2018 г.), Институт математики им. С. Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2018, 224 http://www.math.nsc.ru/conference/malmeet/18/maltsev18.pdf
27. Stepan Kuznetsov, “$*$-continuity vs. induction: divide and conquer”, 12th Conference on ""Advances in Modal Logic"", AiML 2018, Advances in Modal Logic, 12, University of Bern, Bern, Switzerland, 2018, 493–510  mathnet  zmath  scopus (cited: 3);
28. С. Кузнецов, “Замощения сферы и архимедовы многогранники”, Квант, 2018, № 11, 9  mathnet  mathscinet
29. С. Кузнецов, “Задачи помогают друг другу”, Квант, 2018, № 5, 24  mathnet
30. С. Кузнецов, “Полуправильные замощения плоскости”, Квант, 2018, № 3, 32–33  mathnet

   2017
31. S. Kuznetsov, A. Okhotin, “Conjunctive categorial grammars”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 140–151 (W17-3414) http://aclweb.org/anthology/W17-3414  crossref
32. S. Kuznetsov, G. Morrill, O. Valentín, “Count-invariance including exponentials”, Proceedings of the 15th Meeting on the Mathematics of Language (London, July 13–14, 2017), ACL Anthology, 2017, 128–139 (W17-3413) http://www.aclweb.org/anthology/W17-3413  crossref
33. Stepan Kuznetsov, “The Lambek calculus with iteration: two variants”, WoLLIC 2017 (London, July 18–21, 2017), Lecture Notes in Comput. Sci., 10388, 2017, 182–198  mathnet  crossref  mathscinet  isi (cited: 3)  scopus (cited: 6)
34. Max Kanovich, Stepan Kuznetsov, Glyn Morrill, Andre Scedrov, “A polynomial-time algorithm for the Lambek calculus with brackets of bounded order”, 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) (Oxford, September 3–9, 2017), Leibniz Internat. Proc. in Inform., 84, eds. D. Miller, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, 2017, 22:1–22:17  mathnet  crossref  mathscinet  mathscinet  scopus (cited: 4)
35. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with subexponential and bracket modalities”, Fundamentals of Computation Theory, FCT 2017 (Bordeaux, September 11–13, 2017), Lecture Notes in Comput. Sci., 10472, eds. R. Klasing, M. Zeitoun, Springer, 2017, 326–340  mathnet  crossref  mathscinet  scopus (cited: 6)
36. S. Kuznetsov, Eliminating the unit constant in the Lambek calculus with brackets, 2017 , 7 pp., arXiv: 1711.06361
37. С. Кузнецов, “Птичка вылетает!”, Квантик, 2017, № 2, 10–11
38. С. Кузнецов, “Теорема Шаля в трех лицах (окончание)”, Квант, 2017, № 10, 2–5  mathnet  zmath
39. С. Кузнецов, “Теорема Шаля в трех лицах”, Квант, 2017, № 9, 10–14  mathnet
40. С. Кузнецов, “Знание — сила!”, Квант, 2017, № 6, 21–24  mathnet
41. С. Кузнецов, “Расстояния на сфере”, Квант, 2017, № 4, 36–38  mathnet
42. С. Кузнецов, “Птичка вылетает!”, Квант, 2017, № 1, 30–31  mathnet  mathscinet

   2016
43. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Lecture Notes in Comput. Sci., 9537, 2016, 146–158  mathnet  crossref  mathscinet  zmath  isi (cited: 2)  elib  scopus (cited: 4)
44. Max Kanovich, Stepan Kuznetsov, Andre Scedrov, “Undecidability of the Lambek calculus with a relevant modality”, Lecture Notes in Comput. Sci., 9804, eds. A. Foret, G. Morrill, R. Muskens, R. Osswald, S. Pogodalla, 2016, 240–256 , arXiv: 1601.06303  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 11)
45. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Тр. МИАН, 294, МАИК, М., 2016, 141–151  mathnet (цит.: 2)  crossref  mathscinet  isi (цит.: 2)  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  mathscinet  isi (cited: 2)  elib  scopus (cited: 4)
46. M. Kanovich, S. Kuznetsov, V. Nigam, A. Scedrov, “On the proof theory of non-commutative subexponentials”, Dale Fest!, Seminar in honor of the 60th birthday of Dale Miller (Paris, December 15–16, 2017), Université Paris Diderot, 2016, 10 p. http://www.lsv.fr/~baelde/dale-fest/kanovich-etal.pdf

   2015
47. С. Л. Кузнецов, “О преобразовании контекстно-свободных грамматик в грамматики Ламбека”, Современные проблемы математики, механики и математической физики, Сборник статей, Тр. МИАН, 290, МАИК, М., 2015, 72–79  mathnet (цит.: 1)  crossref  isi (цит.: 1)  elib (цит.: 1); S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  crossref  isi (cited: 1)  elib (cited: 1)  scopus (cited: 1)
48. С. Л. Кузнецов, Н. С. Рыжкова, “Фрагмент исчисления Ламбека с итерацией”, Мальцевские чтения 2015 (Новосибирск, 3–7 мая 2015 г.), Институт математики им. С.Л. Соболева СО РАН; Новосибирский гос. университет, Новосибирск, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf

   2014
49. S. Kuznetsov, “$L$-completeness of the Lambek calculus with the reversal operation allowing empty antecedents”, Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday, Lecture Notes in Comput. Sci., 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278  mathnet  crossref  mathscinet  zmath  scopus
50. S. L. Kuznetsov, “Trivalent logics arising from L-models for the Lambek calculus with constants”, J. Appl. Non-Class. Log., 14:1-2 (2014), 132–137  mathnet  crossref  mathscinet  scopus (cited: 3)
51. S. Kuznetsov, “On translating context-free grammars into Lambek categorial grammars”, Joint Proceedings of the Second Workshop on Natural Language and Computer Science (NLCS’14) & 1st International Workshop on Natural Language Services for Reasoners (NLSR 2014), Affliated to RTA-TLCA, VSL 2014 (Vienna, July 17–18, 2014), eds. V. de Paiva, W. Neuper, P. Quaresma, C. Retoré, L. S. Moss, J. Saludes, Center for Informatics and Systems of the University of Coimbra, Coimbra, Portugal, 2014, 137–142 https://www.cisuc.uc.pt/ckfinder/userfiles/files/TR 2014-02.pdf

   2013
52. S. Kuznetsov, “Conjunctive grammars in Greibach normal form and the Lambek calculus with additive connectives”, Formal grammar. 17th and 18th international conferences, FG 2012, Opole, Poland, August 2012, revised selected papers, FG 2013, Düsseldorf, Germany, August 2013, Proceedings, Lecture Notes in Comput. Sci., 8036, Springer, Berlin, 2013, 242–249  mathnet  crossref  mathscinet  zmath  elib  scopus (cited: 6)

   2012
53. S. Kuznetsov, “L-completeness of the Lambek calculus with the reversal operation”, Logical aspects of computational linguistics, Lecture Notes in Comput. Sci., 7351, Springer, Heidelberg, 2012, 151–160  mathnet  crossref  mathscinet  zmath  scopus (cited: 1)
54. S. Kuznetsov, “Lambek grammars with the unit”, Formal grammar. 15th and 16th international conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011. Revised selected papers, Lecture Notes in Comput. Sci., 7395, Springer, Berlin, 2012, 262–266  mathnet  crossref  zmath  scopus (cited: 5)
55. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  mathnet  crossref  mathscinet  zmath  isi (cited: 3)  scopus (cited: 9)
56. С. Л. Кузнецов, Категориальные грамматики, основанные на вариантах исчисления Ламбека, Дисс. … канд. физ.-матем. наук, МГУ имени М. В. Ломоносова, М., 2012 , 70 с. полный текст (PDF), автореферат (PDF), English translation (PDF), English summary (PDF)

   2011
57. С. Л. Кузнецов, “Об исчислении Ламбека с единицей и одним делением”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2011, № 4, 55–57  mathnet  mathscinet  zmath  elib; S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175  crossref  mathscinet  zmath  elib  scopus (cited: 3)

   2009
58. С. Л. Кузнецов, “Об исчислении Ламбека с одним делением и одним примитивным типом, допускающем пустые антецеденты”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2009, № 2, 62–65  mathnet  mathscinet  zmath  elib; S. L. Kuznetsov, “On the Lambek calculus with one division and one primitive type that allows empty antecedents”, Moscow University Math. Bull., 64:2 (2009), 76–79  crossref  mathscinet  zmath  elib (cited: 1)  scopus (cited: 1)
59. S. Kuznetsov, “On the Lambek calculus with one division and one primitive type”, Structures and Deduction 2009, ESSLLI '09 Workshop (Bordeaux, July 20–24, 2009), eds. Michel Parigot and Lutz Straßburger, 2009, 2–11 http://esslli2009.labri.fr/documents/structures_deduction.pdf

Доклады и лекции в базе данных Math-Net.Ru
1. Лекция 3. Лямбда-исчисление
С. Л. Кузнецов
Лямбда-исчисление
20 сентября 2021 г. 16:25
2. Лекция 2. Теорема Чёрча-Россера
С. Л. Кузнецов
Лямбда-исчисление
13 сентября 2021 г. 16:25   
3. Лекция 1. Лямбда-исчисление
С. Л. Кузнецов
Лямбда-исчисление
6 сентября 2021 г. 16:25   
4. Complexity of Theories for Structures with Kleene Star
С. Л. Кузнецов
Конференция международных математических центров мирового уровня
10 августа 2021 г. 16:40
5. Infinitary action logic with exponentiation
S. L. Kuznetsov, S. O. Speranski
Logical Perspectives 2021: Summer School and Workshop
18 июня 2021 г. 12:30   
6. Лекция 11. Гиперсеквенциальное исчисление для MALC с законом дистрибутивности
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
17 мая 2021 г. 16:40   
7. Лекция 10.Неразрешимость задачи выводимости в MALC из гипотез
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
26 апреля 2021 г. 16:45   
8. Лекция 9. Решётки с делениями. Мультипликативно-аддитивное исчисление Ламбека
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
19 апреля 2021 г. 16:45   
9. Лекция 8. От амальгамируемости к интерполяции (часть 2)
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
12 апреля 2021 г. 16:45   
10. Лекция 7. От амальгамируемости к интерполяции (часть 1)
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
5 апреля 2021 г. 16:45   
11. Лекция 6. Гейтинговы алгебры. От интерполяции к амальгамируемости
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
29 марта 2021 г. 16:45   
12. Лекция 5. Интерполяционная лемма для Int
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
22 марта 2021 г. 16:45   
13. Лекция 4. Теорема Гливенко
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
15 марта 2021 г. 16:45   
14. Лекция 3. Разрешимость Int. Секвенциальное исчисление для классической логики высказываний
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
1 марта 2021 г. 16:45   
15. Лекция 2. Теорема об устранении сечения для интуиционистского исчисления высказываний. Теорема Харропа (дизъюнктивная)
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
15 февраля 2021 г. 16:45   
16. Лекция 1. Генценовское исчисление для интуиционистской логики высказываний
С. Л. Кузнецов
Структурная теория доказательств и алгебраическая логика
8 февраля 2021 г. 16:35   
17. Лекция 14. Структура циклических выводов с итерацией Клини
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
14 декабря 2020 г. 16:30   
18. Лекция 13. Алгоритмическая неразрешимость логик решёток Клини (коммутативный случай)
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
7 декабря 2020 г. 16:30   
19. Лекция 12. Циклические выводы для алгебр Клини, с делениями и без
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
30 ноября 2020 г. 16:30   
20. Лекция 11. Алгебры Клини с делениями и их логики
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
23 ноября 2020 г. 16:30   
21. Лекция 10. Циклические выводы для алгебр Клини (продолжение)
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
9 ноября 2020 г. 16:30   
22. Лекция 9. Циклические выводы для алгебр Клини
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
2 ноября 2020 г. 16:30   
23. Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
Семинар отдела математической логики «Теория доказательств»
26 октября 2020 г. 18:30   
24. Лекция 8. Инфинитарные исчисления для алгебр Клини
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
26 октября 2020 г. 16:30   
25. Лекция 7. Интерполяционное свойство Линдона и циклические доказательства в исчислении секвенций
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
19 октября 2020 г. 16:30   
26. Лекция 6. Исчисление секвенций для логики GL
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
12 октября 2020 г. 16:30   
27. Лекция 5. Представление бокс-фундированных алгебр Магари
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
5 октября 2020 г. 16:30   
28. Лекция 4. Окрестностная семантика
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
28 сентября 2020 г. 16:30   
29. Лекция 3. Нефундированные выводы и алгебраическая семантика
С. Л. Кузнецов, Д. С. Шамканов
Курс С. Л. Кузнецова и Д. С. Шамканова "Циклические доказательства"
21 сентября 2020 г. 16:30   
30. Обзор курса и ответы на вопросы
С. Л. Кузнецов, Т. Яворская
Спецкурс «Математическая логика, часть 2»
14 мая 2020 г. 16:00   
31. Лекция 16. Основы теории множеств, ч. 4
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
7 мая 2020 г. 14:45
32. Лекция 15. Основы теории множеств, ч. 3
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
30 апреля 2020 г. 14:45   
33. Лекция 14. Основы теории множеств, ч. 2
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
27 апреля 2020 г. 14:30   
34. Лекция 13. Основы теории множеств, ч. 1
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
23 апреля 2020 г. 14:45   
35. Лекция 12. Интуиционистская логика первого порядка, ч. 5
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
20 апреля 2020 г. 14:30   
36. Лекция 11. Интуиционистская логика первого порядка, ч. 4
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
16 апреля 2020 г. 14:45   
37. Закон дистрибутивности во фрагментах линейной и аффинной логик
С. Л. Кузнецов
Семинар лаборатории математической логики (Санкт-Петербург)
14 апреля 2020 г. 18:15   
38. Лекция 10. Интуиционистская логика первого порядка, ч. 3
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
13 апреля 2020 г. 14:30   
39. Лекция 9. Интуиционистская логика первого порядка, ч. 2
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
9 апреля 2020 г. 14:45   
40. Лекция 8. Интуиционистская логика первого порядка, ч. 1
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
6 апреля 2020 г. 14:30   
41. Лекция 7. Теоремы Гёделя о неполноте
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
27 марта 2020 г. 11:00   
42. Лекция 6. Третье условие доказуемости. Теорема о неподвижной точке
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
23 марта 2020 г. 14:30   
43. Лекция 14. Полные частично упорядоченные множества. Модель Скотта $D_\infty$.
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
16 марта 2020 г. 16:30   
44. Лекция 5. Гёделева нумерация
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
12 марта 2020 г. 16:45   
45. Лекция 4. Кодирование примитивно-рекурсивных функций
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
5 марта 2020 г. 16:45   
46. Лекция 3. Китайская теорема об остатках
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
27 февраля 2020 г. 16:45   
47. Лекция 2. Арифметика Пеано
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
20 февраля 2020 г. 16:45   
48. Лекция 1. Примитивно-рекурсивные функции
С. Л. Кузнецов
Спецкурс «Математическая логика, часть 2»
13 февраля 2020 г. 16:45   
49. Лекция 11. Модели лямбда-исчисления
Л. Д. Беклемишев, С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
10 февраля 2020 г. 16:30   
50. Лекция 9. Полнота типового лямбда-исчисления относительно теоретико-множественной семантики
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
2 декабря 2019 г. 16:30   
51. Лекция 8. Теорема о сильной нормализуемости для типового лямбда-исчисления (окончание). Теоретико-множественная семантика типового лямбда-исчисления
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
25 ноября 2019 г. 16:30   
52. Лекция 7. Алгоритм выведения наиболее общего типа в системе Карри (окончание). Теорема о сильной нормализуемости для типового лямбда-исчисления
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
18 ноября 2019 г. 16:30   
53. Лекция 6. Алгоритм выведения наиболее общего типа в системе Карри
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
11 ноября 2019 г. 16:30   
54. Лекция 5. Сохранение типа при бета-редукции. Интуиционистская логика высказываний, соответствие Карри - Говарда
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
28 октября 2019 г. 16:30   
55. Лекция 4. Свойство Чёрча - Россера (окончание). Типовое лямбда исчисление: типизации по Чёрчу и по Карри
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
21 октября 2019 г. 16:30   
56. Лекция 3. Представимость вычислимых функций в бестиповом лямбда-исчислении. Свойство Чёрча - Россера
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
14 октября 2019 г.   
57. Лекция 2. Теорема о неподвижной точке. Представимость примитивно-рекурсивных функций в бестиповом лямбда-исчислении
С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
7 октября 2019 г.   
58. Лекция 1.Введение. Бестиповое лямбда-исчисление. Представление натуральных чисел в бестиповом лямбда-исчислении
Л. Д. Беклемишев, С. Л. Кузнецов
Л. Д. Беклемишев, С. Л. Кузнецов. Вычислительная теория доказательств и лямбда-исчисление
30 сентября 2019 г.   
59. Линейная логика и функциональное программирование
С. Л. Кузнецов
Коллоквиум Факультета компьютерных наук НИУ ВШЭ
12 февраля 2019 г. 18:10   
60. $\Pi_1^0$-полнота исчисления Ламбека с итерацией Клини
С. Л. Кузнецов
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
25 декабря 2018 г. 15:05   
61. Неразрешимость логики решёток Клини с делениями
С. Л. Кузнецов
Семинар отдела математической логики «Теория доказательств»
29 октября 2018 г. 18:30   
62. Рекурсивно перечислимые теории, не имеющие алгоритмически разрешимой аксиоматизации
С. Л. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
14 ноября 2017 г. 18:30
63. Iteration in residuated structures
S. Kuznetsov
Workshop on Proof Theory, Modal Logic and Reflection Principles
20 октября 2017 г. 10:00   
64. Исчисления Ламбека с обогащением сигнатуры операцией итерации
С. Л. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
16 мая 2017 г. 18:30
65. Расширения контекстно-свободных и категориальных грамматик
С. Л. Кузнецов
Матсборник-150: алгебра, геометрия, анализ
7 ноября 2016 г. 12:40   
66. Межфакультетский курс «Категориальные грамматики». Лекция 13
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
11 мая 2016 г. 17:00   
67. Межфакультетский курс «Категориальные грамматики». Лекция 9
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
13 апреля 2016 г. 17:00   
68. Межфакультетский курс «Категориальные грамматики». Лекция 8
М. Р. Пентус, С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
6 апреля 2016 г. 17:00   
69. Невозможность замены правила сокращения конечным числом определяющих соотношений при задании полугруппы
С. Л. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
5 апреля 2016 г. 18:30
70. Межфакультетский курс «Категориальные грамматики». Лекция 6
С. Л. Кузнецов, М. Р. Пентус
Межфакультетский курс «Категориальные грамматики»
23 марта 2016 г. 17:00   
71. Межфакультетский курс «Категориальные грамматики». Лекция 4
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
9 марта 2016 г. 17:00   
72. Межфакультетский курс «Категориальные грамматики». Лекция 3
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
2 марта 2016 г. 17:00   
73. Межфакультетский курс «Категориальные грамматики». Лекция 2
С. Л. Кузнецов
Межфакультетский курс «Категориальные грамматики»
24 февраля 2016 г. 17:00
74. Межфакультетский курс «Категориальные грамматики». Лекция 1
С. Л. Кузнецов, А. А. Сорокин
Межфакультетский курс «Категориальные грамматики»
17 февраля 2016 г. 17:00
75. О двух модальных расширениях исчисления Ламбека
С. Л. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
20 октября 2015 г. 18:30
76. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
13 мая 2015 г. 18:00   
77. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 11
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
29 апреля 2015 г. 18:05   
78. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
С. Л. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
28 апреля 2015 г. 18:30
79. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 8
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
8 апреля 2015 г. 18:00   
80. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 7
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
1 апреля 2015 г. 18:00   
81. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 6
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
25 марта 2015 г. 18:00   
82. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 5
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 марта 2015 г. 18:00   
83. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 4
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
11 марта 2015 г. 18:00   
84. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 3
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
4 марта 2015 г. 18:00   
85. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 2
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
25 февраля 2015 г. 18:00   
86. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 1
С. Л. Кузнецов
Спецкурс С. Л. Кузнецова «Лямбда-исчисление, или вычислительная теория доказательств», 2015
18 февраля 2015 г. 18:00   
87. Категориальные грамматики Ламбека
Степан Кузнецов
Общеинститутский семинар «Коллоквиум МИАН»
5 июня 2014 г. 16:00   
88. Конъюнктивные грамматики и расширенное операцией пересечения исчисление Ламбека
С. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
8 октября 2013 г. 18:30
89. О моделях двух расширений исчисления Ламбека на подмножествах свободных моноидов
С. Кузнецов
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
27 ноября 2012 г. 18:30
90. Grammars based on variants of the Lambek calculus
Stepan Kuznetsov
Международная конференция «Logical Models of Reasoning and Computation»
3 февраля 2012 г. 15:30   

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