?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Нагорная А. В., Бакулев А. В., Человек: образ и сущность. Гуманитарные аспекты 2026 № 2(66) С. 9–36
В статье исследуется роль концептуальной метафоры в осмыслении принципов междисциплинарного взаимодействия и в продвижении междисдиплинарности как модуса научного познания. Определяются функции метафоры в дискурсе междисциплинарности: идеационная, экспланаторная, иллюстративная, прескриптивная и аффективная. На материале статей и монографий по методологии науки, написанных в период с 1961 по 2025 гг., выявляются главенствующие метафоры, с помощью которых осмысляется суть ...
Добавлено: 5 июня 2026 г.
Dmitry Pronin, Evgeny Kazartsev, Digital Scholarship in the Humanities 2026 P. 1–15
Добавлено: 4 июня 2026 г.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Кириченко В. В., Известия Саратовского университета. Новая серия. Серия: Филология. Журналистика 2026 Т. 26 № 2 С. 200–209
Настоящая работа посвящена фигуре вымышленного философа по имени Жан-Батист Ботюль и его роли в дискурсе современной французской литературы. Для анализа данного героя в работе используются концепции трансфикциональности и метаперсонажа. Сам Ботюль придуман французским журналистом-сатириком Фредериком Пажесом. Его изобретение получило широкую популярность в среде различных деятелей науки и искусства, которые продолжили придумывать исследования и работы, якобы ...
Добавлено: 3 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Афанасьев В. А., Новый филологический вестник 2026 № 1(76) С. 274–283
Роман Дж.Р.Р. Толкина «Властелин Колец» отличается обилием стихот-ворных включений в виде поэтических текстов, цитируемых или исполняе-мых (в случае песен) персонажами романа. Этим текстам присуще особенное жанровое разнообразие, согласующееся с литературно-эстетическими пред-почтениями Толкина и отвечающее его стремлению наполнить создаваемую «вторичную реальность» произведениями, которые отражали бы традиции вымышленных народов и служили выразительными повествовательными эле-ментами, дополняющими прозаический рассказ ...
Добавлено: 2 июня 2026 г.
Балакирева М. Е., Новое литературное обозрение 2026 № 2 (198) С. 225–237
Статья посвящена исследованию неофициальных переводов с французского языка и акцентирует внимание на конкретном примере — переводе рассказов Бориса Виана в «Митином журнале». Рассмотрение особенностей этих переводов позволяет выявить характерную для самиздата рефлексию о роли языка, а также переосмыслить позицию переводчика, противопоставленного переводчику официальному, просветителю и цензору, создающему иллюзорный образ зарубежной литературы в советском пространстве. Разрабатывая ...
Добавлено: 1 июня 2026 г.
Тюрякова-Матвеева Д. В., Цифровые гуманитарные исследования 2026 № 1 С. 4–26
Статья исследует культурные референции в творчестве Андрея Вознесенского путем анализа упоминаемых им персоналий. Обработано 1678 произведений, включая поэзию, прозу и ранние неопубликованные стихотворения. Методы NER, основанные на инструментах Natasha, spaCy и LLM Grok, позволили изучить частоту упоминания известных лиц и их связь с жанром произведения. Определены ключевые авторы Вознесенского (Пастернак, Пушкин, Маяковский), выявлены особенности жанра ...
Добавлено: 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 г.