?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций, включенных в программу весенней математической школы. ...
Добавлено: 25 июня 2026 г.
Воронеж: Издательский дом ВГУ, 2026.
В сборнике представлены материалы докладов и лекций,
включенных в программу Воронежской зимней матаматической школы С. Г. Крейна - 2026. ...
Добавлено: 25 июня 2026 г.
Шулятьева Д. В., Венедиктова Т. Д., Анцыферова О. Ю., LITERATURE OF THE AMERICAS 2026 № 20 С. 84–137
Круглый стол, посвященный роману Пола Остера (1947–2024) «Стеклянный город»
(1985), в котором приняли участие преподаватели, аспиранты и студенты, состоялся на филологическом факультете МГУ им. М.В. Ломоносова 8 декабря 2025 г. Поводом было сорокалетие публикации романа, ставшему впоследствии первой частью «Нью-йоркской трилогии» Остера. Писателю удалось соединить в «Стеклянном городе» экзистенциальную
озабоченность с нарративным экспериментом и условности криминального жанра ...
Добавлено: 25 июня 2026 г.
Гаджимирзаев Ш. М., Хельвас А. В., Computer Research and Modeling 2026 Vol. 18 No. 2 P. 423–438
В данной статье рассматривается модель полностью роботизированного склада с глубо
кими стеллажами, предназначенного для хранения коробочных товаров. Основное внимание
уделено оптимизации работы склада за счет дискретного мультиагентного моделирования дви
жения шаттлов, выполняющих задачи по отгрузке и размещению коробок. Авторы исследуют
различные стратегии размещения товаров в зонах склада, включая алгоритмы NCPA (Nearest
Channel Positioning Algorithm), MECGP (Most Empty Channel Group Placement) ...
Добавлено: 24 июня 2026 г.
Гаянов Н. В., Парусникова А. В., Уфимский математический журнал 2026 Т. 18 № 2 С. 14–22
Рассматривается алгебраическое 𝑞-разностное уравнение. Предлагается достаточное условие существования формального степенно–логарифмического разложения решения такого уравнения в окрестности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения некоторого 𝑞-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа 𝑞, приводящие к качественно разным формальным асимптотическим разложениям решений. ...
Добавлено: 24 июня 2026 г.
Козлов А. А., Толдова С. Ю., Агичева О. К., Языки и фольклор коренных народов Сибири 2026 № 57(1) С. 101–112
В статье представлен опыт проведения экспедиционных исследований лесного ненецкого языка в Пуровском районе Ямало-Ненецкого автономного округа. Описываются принципы и методы полевой работы группы, кратко перечисляются некоторые результаты. Так, из результатов в области фонологии дается описание фонологических (или морфонологических) чередований, связанных с гласным перед- него ряда средне-нижнего подъема /ä/. Из результатов в области лексической семантики дается описа- ние ...
Добавлено: 24 июня 2026 г.
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Rossi P., Letters in Mathematical Physics 2024 Vol. 114 Article 97
Добавлено: 23 июня 2026 г.
We prove that the cohomology classes of the moduli spaces of residueless meromorphic differentials, ie the closures, in the moduli space of stable curves, of the loci of smooth curves whose marked points are the zeros and poles of prescribed orders of a meromorphic differential with vanishing residues, form a partial cohomological field theory (CohFT) of ...
Добавлено: 23 июня 2026 г.
Буряк А. Ю., Труды Математического института им. В.А. Стеклова РАН 2024 Т. 325 С. 26–66
Основная цель работы -- показать, что DR-иерархии, введенные автором в более ранней работе, позволяют наиболее ясно установить связь между топологией компактификации Делиня-Мамфорда пространства модулей гладких алгебраических кривых рода g с n отмеченными точками и интегрируемыми системами математической физики. Также обсуждается перспективный подход, даваемый теорией DR-иерархий, к решению общей проблемы в области гипотез виттеновского типа, а именно к доказательству существования иерархии Дубровина-Чжана ...
Добавлено: 23 июня 2026 г.
Кириченко В. В., Практики и интерпретации: журнал филологических, образовательных и культурных исследований, Россия 2026 Т. 11 № 1 С. 66–91
Статья посвящена малоизученному аспекту творчества французского писателя Жоржа Перека – влиянию Алжирской войны (1954–1962) на его литературное наследие. Несмотря на почти полное отсутствие прямых упоминаний войны в произведениях Перека, травматический исторический контекст значим для понимания тематики, структуры и стиля его текстов. Основное внимание уделяется анализу таких произведений, как «Вещи» (1965), «Что это за маленький мопед...» ...
Добавлено: 23 июня 2026 г.
М.: Институт русского языка им. В.В. Виноградова РАН, 2026.
Сборник тезисов Пятнадцатых Шмелёвских чтений (К 100-летию со дня рождения академика Дмитрия Николаевича Шмелева) Жизнь слова: Научное наследие академика Д. Н. Шмелева в контексте современности. Охватывает разные аспекты современной русистики: от исторической лексикологии до современных трансформаций прагматики и семантики слов. ...
Добавлено: 23 июня 2026 г.
Битнер К. А., Индоевропейское языкознание и классическая филология 2025 Т. 29 № 1 С. 180–195
Статья посвящена интерпретации нескольких наиболее важных вариантов текста Ис 42:1–9, которые встречаются в Большом свитке Исайи (1QIsaa ), обнаруженном в Кумране. Данная рукопись является старейшим свидетельством древнееврейского текста библейской книги Исайи, датируется второй половиной II в. до н. э. В статье демонстрируется, что в большинстве случаев причиной появления разночтений являлась редакторская деятельность писца свитка. ...
Добавлено: 22 июня 2026 г.
Бернацкий М. М., Вестник Православного Свято-Тихоновского гуманитарного университета. Серия 3: Филология 2026 № 83 С. 81–100
В публикации представлен комментированный перевод c латинского заметок Жака Гоара к тексту эпиклезы из его «Евхология» (1647). Перевод предваряется вступительной статьей, помещающей текст Гоара в историко-литературный контекст, связанный с греко-латинскими спорами о времени освящения даров, ключевым моментом которых стала полемика об эпиклезе на Флорентийском соборе 1439 г. Комментарии Гоара построены на основе итогов флорентийских дебатов, ...
Добавлено: 21 июня 2026 г.
Калужский печатный двор, 2026.
Сборник трудов конференции "Математические идеи академика
П.Л. Чебышёва, их приложения в естественных науках и технологиях искусственного интеллекта» ...
Добавлено: 20 июня 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 г.