?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Россинская А. Н., Детские чтения 2026 Т. 29 № 1 С. 100–128
В статье анализируется, как авторы и издатели современной российской детской краеведческой литературы конструируют адресата своих книг. Исследование опирается на понятия «подразумеваемый читатель», «паратекст», «двойная адресация» и «медиация чтения». Его эмпирическую базу составляет авторская коллекция из 62 неучебных детских краеведческих изданий, выпущенных в период с 2003 г. по 2025 г. в различных регионах России. Анализ паратекстуальных ...
Добавлено: 6 сентября 2026 г.
Копылова Е. В., Лапшина К. М., Acta Linguistica Petropolitana. Труды института лингвистических исследований 2026 № 22 С. 284–307
Статья представляет собой лексико-типологическое описание семантического поля ‘менять’ в карельском языке в рамках фреймового подхода. В качестве материалов исследования используются результаты опроса носителей, словари и корпусы карельского языка. В ходе работы проводится сравнение карельской системы глаголов, относящихся к полю ‘менять’, с системой финского языка, что позволяет выявить потенциальное влияние одной системы на другую. ...
Добавлено: 5 сентября 2026 г.
Добавлено: 4 сентября 2026 г.
Москвина Ж. О., Филология: научные исследования 2026 № 8 С. 629–640
Аннотация: Предметом исследования выступает эсхатология как медиатический конструкт современного коммуникативного пространства. Теоретическое обобщение охватывает языковые, нарративные и визуальные механизмы, посредством которых эсхатологические мотивы переходят из религиозного дискурса в светское информационное поле, переосмысляются и приспосабливаются к логике современных медиа. Особое внимание уделяется лексике предельности, необратимости и финальности, нарративным сценариям катастрофы, предупреждения, суда и исторического рубежа, а также ...
Добавлено: 4 сентября 2026 г.
Осипов Д.В., Математический сборник 2026 Т. 217 № 9 С. 130–146
Изучаются законы взаимности, связанные с комплексными линейными расслоениями на расслоениях на ориентируемые окружности. В частности, доказывается следующий закон взаимности. Пусть B – комплексное многообразие и πi:Mi→B – расслоение на ориентируемые окружности, где индекс i пробегает конечное множество. Пусть Li и Ni – комплексные линейные расслоения на каждом многообразии Mi. Закон взаимности утверждает, что сумма всех элементов (πi)∗(c1(Li)∪c1(Ni)), где (πi)∗ – ...
Добавлено: 3 сентября 2026 г.
Бодрова А. С., Русская литература 2026 № 3 С. 64–75
В статье обсуждаются не отмечавшиеся прежде параллели между «Обыкновенной историей» И. А. Гончарова и фрагментом из незавершенного романа В. Ф. Одоевского «Год 4338. Петербургские письма», опубликованным в первом номере журнала «Московский наблюдатель» за 1835 год. Подробно анализируются сюжетные, мотивные, образные переклички между двумя текстами, а также реконструируются литературно-биографические обстоятельства, в которых Гончаров мог познакомиться с этим произведением Одоевского. Однако вне зависимости от статуса выявленной параллели, подобные пересечения ...
Добавлено: 2 сентября 2026 г.
Басалаев А. А., Раровский А. А., Journal of Singularities 2026 Vol. 30 P. 61–80
Добавлено: 1 сентября 2026 г.
Рыбаков М. Н., Shkatov D., Journal of Logic and Computation 2026 Vol. 36 No. 6 Article exag026
Добавлено: 1 сентября 2026 г.
Цыгунова М. М., Вестник Томского государственного университета 2026 № 525 С. 56–66
Исследуется метафорическая креативность в работах современного американского писателя Чака Паланика при описании психоэмоциональных состояний. На материале 26 произведений (23 рассказа и три романа) посредством метода сплошной выборки и процедуры идентификации метафор были отобраны примеры метафорической креативности при концептуализации ментальных состояний. Основное внимание уделено нестандартному использованию языка автором для обогащения читательского опыта и создания более точного ...
Добавлено: 31 августа 2026 г.
Селянин Ф. И., Moscow Mathematical Journal 2026 Vol. 26 No. 2 P. 167–187
Добавлено: 31 августа 2026 г.
Казарян М. Э., Дунин-Барковский П. И., Бычков Б. С. и др., International Mathematics Research Notices 2026 Vol. 14 Article rnag146
Добавлено: 31 августа 2026 г.
Stepan L. Kuznetsov, Journal of Logic and Computation 2026 Vol. 36 No. 1 Article exaf078
Добавлено: 14 января 2026 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Studia Logica 2023 Vol. 111 No. 2 P. 251–280
Infinitary action logic can be naturally expanded by adding exponential and subexponential modalities from linear logic. In this article we shall develop infinitary action logic with a subexponential that allows multiplexing (instead of contraction). Both non-commutative and commutative versions of this logic will be considered, presented as infinitary sequent calculi. We shall prove cut admissibility ...
Добавлено: 26 декабря 2025 г.
Добавлено: 1 мая 2025 г.
Stepan L. Kuznetsov, , in: Logic, Language, Information, and Computation: 30th International Workshop, WoLLIC 2024, Bern, Switzerland, June 10–13, 2024, ProceedingsVol. 14672: Lecture Notes in Computer Science.: Cham: Springer, 2024. P. 93–107.
Добавлено: 12 июня 2024 г.
Sergey Slavnov, Logical Methods in Computer Science 2023 Vol. 19 No. 4
Добавлено: 20 декабря 2023 г.
Добавлено: 12 ноября 2023 г.
Blaisdell E., Канович М. И., Stepan L. Kuznetsov и др., , in: Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, ProceedingsVol. 13385.: Cham: Springer, 2022. P. 449–467.
Добавлено: 7 августа 2022 г.
Канович М. И., Kuznetsov Stepan G., Кузнецов С. Л. и др., Studies in Computational Intelligence 2021 Vol. 999 P. 1–24
Добавлено: 14 декабря 2021 г.
Добавлено: 4 декабря 2021 г.
Sergey Slavnov, Mathematical Structures in Computer Science 2021 Vol. 31 No. 5 P. 495–534
Добавлено: 16 ноября 2021 г.
Sergey Slavnov, Journal of Cognitive Science 2021 Vol. 22 No. 2 P. 68–91
Добавлено: 2 октября 2021 г.