RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Kuznetsov Stepan L'vovich

Statistics Math-Net.Ru
Total publications: 16
Scientific articles: 16
Cited articles: 3
Citations in Web of Science: 1
Citations in Scopus: 6
Citations in MathSciNet: 2
Presentations: 24

Number of views:
This page:1330
Abstract pages:44
References:15
Candidate of physico-mathematical sciences (2012)
Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
Birth date: 30.06.1988
Website: http://lpcs.math.msu.su/~sk/index.html

http://www.mathnet.ru/eng/person72238
List of publications on Google Scholar
http://zbmath.org/authors/?q=ai:kuznetsov.stepan
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=877457
https://www.researchgate.net/profile/Stepan_Kuznetsov

Full list of publications:
1. M. Kanovich, S. Kuznetsov, A. Scedrov, Undecidability of the Lambek calculus with a relevant modality, 2016 , 12 pp., arXiv: 1601.06303
2. S. L. Kuznetsov, Modern problems of mathematics, mechanics, and mathematical physics. Part II, Tr. Mat. Inst. Steklova, 294, MAIK Nauka/Interperiodica, Moscow, 2016 (to appear)  mathnet
3. S. L. Kuznetsov, “On Translating Context-Free Grammars into Lambek Grammars”, Proc. Steklov Inst. Math., 290 (2015), 63–69  mathnet  crossref  crossref  isi  elib  elib  scopus
4. M. Kanovich, S. Kuznetsov, A. Scedrov, “On Lambek's restriction in the presence of exponential modalities”, Logical Foundations of Computer Science 2016, Lecture Notes in Computer Science, 9537, Springer, 2015, 146–158  mathnet  crossref  scopus
5. S. L. Kuznetsov, N. S. Ryzhkova, “Fragment ischisleniya Lambeka s iteratsiei”, Maltsevskie chteniya 2015 (Novosibirsk, 3–7 maya 2015 g.), Institut matematiki im. S.L. Soboleva SO RAN; Novosibirskii gos. universitet, Novosibirsk, 2015, 213 http://www.math.nsc.ru/conference/malmeet/15/malmeet15.pdf
6. 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 Computer Science, 8222, eds. C. Casadio, B. Coecke, M. Moortgat, P. Scott, Springer, Berlin, Heidelberg, 2014, 268–278  crossref  mathscinet  zmath  scopus
7. 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  crossref  mathscinet  scopus
8. 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
9. 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 Computer Science, 8036, Springer, Berlin, 2013, 242–249, ISBN: 978-3-642-39997-8/pbk  crossref  mathscinet  zmath  elib  scopus
10. 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  crossref  mathscinet (cited: 2)  scopus
11. 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, ISBN: 978-3-642-32023-1/pbk  crossref  zmath  scopus (cited: 1)
12. S. Kuznetsov, “Lambek grammars with one division and one primitive type”, Log. J. IGPL, 20:1 (2012), 207–221  crossref  mathscinet  zmath  isi (cited: 1)  scopus (cited: 4)
13. S. L. Kuznetsov, Kategorialnye grammatiki, osnovannye na variantakh ischisleniya Lambeka, Diss. … kand. fiz.-matem. nauk, MGU imeni M. V. Lomonosova, M., 2012 , 70 pp. polnyi tekst (PDF), avtoreferat (PDF), English translation (PDF), English summary (PDF)
14. S. L. Kuznetsov, “On the Lambek calculus with a unit and one division”, Moscow University Math. Bull., 66:4 (2011), 173–175  crossref  mathscinet  elib  elib  scopus
15. 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  elib (cited: 1)  elib (cited: 1)  scopus (cited: 1)
16. 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

Presentations in Math-Net.Ru
1. Межфакультетский курс «Категориальные грамматики». Лекция 13

May 11, 2016 17:00   
2. Межфакультетский курс «Категориальные грамматики». Лекция 9

April 13, 2016 17:00   
3. Межфакультетский курс «Категориальные грамматики». Лекция 8

April 6, 2016 17:00   
4. Межфакультетский курс «Категориальные грамматики». Лекция 6

March 23, 2016 17:00   
5. Межфакультетский курс «Категориальные грамматики». Лекция 4

March 9, 2016 17:00   
6. Межфакультетский курс «Категориальные грамматики». Лекция 3

March 2, 2016 17:00   
7. Межфакультетский курс «Категориальные грамматики». Лекция 2

February 24, 2016 17:00
8. Межфакультетский курс «Категориальные грамматики». Лекция 1

February 17, 2016 17:00
9. О двух модальных расширениях исчисления Ламбека
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 20, 2015 18:30
10. Лямбда-исчисление, или вычислительная теория доказательств. Лекция 12
Special course "Lambda calculus, or computational proof theory", 2015
May 13, 2015 18:00   
11. Lambda calculus, or computational proof theory. Lecture 11
Special course "Lambda calculus, or computational proof theory", 2015
April 29, 2015 18:05   
12. Преобразование контекстно-свободных грамматик в грамматики Ламбека, сохраняющее семантические значения слов
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
April 28, 2015 18:30
13. Lambda calculus, or computational proof theory. Lecture 8
Special course "Lambda calculus, or computational proof theory", 2015
April 8, 2015 18:00   
14. Lambda calculus, or computational proof theory. Lecture 7
Special course "Lambda calculus, or computational proof theory", 2015
April 1, 2015 18:00   
15. Lambda calculus, or computational proof theory. Lecture 6
Special course "Lambda calculus, or computational proof theory", 2015
March 25, 2015 18:00   
16. Lambda calculus, or computational proof theory. Lecture 5
Special course "Lambda calculus, or computational proof theory", 2015
March 18, 2015 18:00   
17. Lambda calculus, or computational proof theory. Lecture 4
Special course "Lambda calculus, or computational proof theory", 2015
March 11, 2015 18:00   
18. Lambda calculus, or computational proof theory. Lecture 3
Special course "Lambda calculus, or computational proof theory", 2015
March 4, 2015 18:00   
19. Lambda calculus, or computational proof theory. Lecture 2
Special course "Lambda calculus, or computational proof theory", 2015
February 25, 2015 18:00   
20. Lambda calculus, or computational proof theory. Lecture 1
Special course "Lambda calculus, or computational proof theory", 2015
February 18, 2015 18:00   
21. Lambek categorial grammars
Colloquium of the Steklov Mathematical Institute of Russian Academy of Sciences
June 5, 2014 16:00   
22. Conjunctive grammars and the Lambek calculus enriched with the intersection connective
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
October 8, 2013 18:30
23. Free monoid powerset models for two extensions of Lambek calculus
Seminar of the Department of Mathematical Logic "Algorithmic problems in algebra and logic"
November 27, 2012 18:30
24. Grammars based on variants of the Lambek calculus
International workshop "Logical Models of Reasoning and Computation"
February 3, 2012 15:30   

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2016