?
On embedding Lambek calculus into commutative categorial grammars
Journal of Logic and Computation. 2022. Vol. 32. No. 3. P. 479–517.
Язык:
английский
Белова П. Е., Когнитивные исследования языка 2025 № 1 (62) С. 56–60
Данная статья представляет результаты изучения содержания концепта ПРОСТРАНСТВО в русском языковом сознании на материале художественных прозаических текстов разных жанров, созданных во второй половине XX и в XXI в. и представленных в НКРЯ. Анализ проведен с учетом таких культурно-языковых фильтров, как пропозициональные установки, предметно-понятийные корреляции и метафорические преобразования. ...
Добавлено: 16 августа 2026 г.
Каногина П. Е., Когнитивные исследования языка 2026 Т. 3 № 68 С. 196–200
В статье на материале субъективных дефиниций рассматриваются гендерные и возрастные особенности концептуализации пространства носителями русского языка. Гендерные различия проявляются в разной степени внимания к физическим, функциональным и эмоциональным характеристикам пространства, тогда как возраст влияет на уровень абстракции определений. ...
Добавлено: 16 августа 2026 г.
Каногина П. Е., Когнитивные исследования языка 2026 Т. 2 № 67 С. 118–122
Данная статья посвящена изучению концептуализации пространства города в русской художественной прозе во второй половине XX в. и в первой четверти XXI в. на примере городских улиц. Для выбранного объекта открытого городского пространства через анализ системы когнитивных признаков, предметно-понятийных корреляций, пропозициональных и метафорических моделей были установлены особенности его концептуализации. ...
Добавлено: 16 августа 2026 г.
Вопреки уверению Антуана де Сент-Экзюпери, заявившего, что «самое прекрасное в звездах, домах и пустынях — то, чего не увидишь глазами», авторы предлагаемой монографии бесстрастно поверяют алгеброй научного анализа гармонию прекрасного на Востоке, продолжая наработки первой книги «Прекрасное и утилитарное: от докерамического неолита до искусства ислама». Монография состоит из исследований, посвященных полезности красоты, выраженной через все ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Математический сборник 2023 Т. 214 № 3 С. 106–119
Рассматривается клеточное разбиение пространства модулей вещественных кривых рода 2 с отмеченной точкой на единственном вещественном овале. Клетки перечисляются определенными графами, веса которых описывают комплексную структуру на кривой. Показано, что стягивание ребра графа приводит к корневой особенности естественного отображения из весов графа в пространство модулей кривых. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Gendron Q., Успехи математических наук 2023 Т. 78 № 1 С. 209–210
Уравнение Пелля-Абеля — это функциональное уравнение вида P²-DQ² = 1, с заданным многочленом D, свободным от квадратов, и неизвестными многочленами P и Q. Мы показываем, что пространство уравнений Пелля-Абеля с фиксированными степенями D и примитивным решением P является комплексным многообразием. Мы описываем его связные компоненты с помощью эффективно вычислимого инварианта. ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Transactions of the Moscow Mathematical Society 2024 Vol. 85 No. 2 P. 323–337
Добавлено: 14 августа 2026 г.
Лаврентьев А. В., Преображенская А. А., Вестник Санкт-Петербургского университета. Язык и литература. 2026 Т. 23 № 2 С. 419–437
В статье исследуется административно-хозяйственное устройство южных владений великих князей рязанских в верховьях Дона и происхождение известного здесь же топонима Епифань. На основе изучения литературных текстов, топонимики и актового материала авторы выдвигают гипотезу о наличии взаимосвязи между литературным персонажем, героем, имя которого известно только по пространной редакции Летописной повести о Куликовской битве (1440-е гг.), рязанским боярином ...
Добавлено: 14 августа 2026 г.
Богатырев А. Б., Успехи математических наук 2026 Т. 81 № 3(489) С. 159–160
Предложена простая и эффективно реализуемая формула для изменения абелевых интегралов (включая их периоды) при вариации образующих классической группы Шоттки, представляющей риманову поврехность. ...
Добавлено: 14 августа 2026 г.
Gendron Q., Compositio Mathematica 2025 Vol. 161 No. 7 P. 1483–1511
Добавлено: 14 августа 2026 г.
Yu Z., Wang J., Wang Z. и др., Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences 2026 Vol. 384 P. 1–16
Добавлено: 13 августа 2026 г.
Дмитрова Е. П., Буклина С. Б., Гронская Н. Э. и др., Вопросы нейрохирургии им. Н.Н. Бурденко 2026 № 90(4) С. 87–94
Для эффективного проведения процедуры интраоперационного картирования речи важно подобрать специфический речевой тест со стандартизированным лингвистическим материалом, чтобы он вовлекал непосредственно речевую функцию, которую обеспечивает участок мозга, находящийся в зоне резекции. Необходимо подготовить тест с учетом особенностей конкретного пациента и протоколировать проведение лингвистического интраоперационного сопровождения.
ЦЕЛЬ ИССЛЕДОВАНИЯ
Описать процедуру проведения речевого интраоперационного тестирования, представить батарею разработанных интраоперационных тестов для русского языка, соотнести интраоперационные тесты с зонами ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
М.: Институт славяноведения РАН, 2023.
Более двадцати лет Институт славяноведения РАН отмечает День славянской
письменности и культуры традиционной научной конференцией. С 2014 г. она проходит в формате конференции молодых ученых. В 2023 г. участники из Мос квы,
Санкт-Петербурга, Воронежа, Казани, Калининграда, Нижнего Новгорода, Ростова-на-Дону, Смоленска, а также Белоруссии, Венгрии, Китая, Польши, Словакии
и Чехии продолжили эту традицию. Вновь обсуждался широкий круг проблем,
связанных с ...
Добавлено: 12 августа 2026 г.
Nhà xuất bản Đại học quốc gia Hà Nội, 2026.
Добавлено: 11 августа 2026 г.
Добавлено: 11 августа 2026 г.
Первый русский перевод ARET 13 1, одного из наиболее пространных и необычных документов из Эблы (Сирия, XXIV в. до н.э.) с подробным историко-филологическим комментарием. Главными героям произведения являются правитель Эблы, не названный по имени, и царь соседнего государства Мари по имени Хинна-Даган. Царь и Хинна-Даган посещают дом божеств, обозначенных как Отец и Мать Богов, чтобы спросить ...
Добавлено: 11 августа 2026 г.
Пименова Н. Б., Сатдаров К. Е., Известия РАН. Серия литературы и языка 2026 № 3 С. 49–61
В статье рассматривается формирование своеобразной системы определенности в фарерском языке, имеющем два свободностоящих определенных «адъективных» артикля: tann и hin. В отличие от хорошо известных языковых систем, маркирующих разными единицами «слабую» и «сильную» определенность, дистрибуция tann и hin обычно описывается как регистрово обусловленная, и артикль hin характеризуется как признак книжно-письменной речи и высокого стиля. Анализ Евангелий на фарерском языке позволяет выявить устойчивые и вариативные контексты ...
Добавлено: 10 августа 2026 г.
Долгорукова Н. М., Метелев-Кудалин М. С., Vox Medii Aevi 2025 Т. 2 С. 152–166
Рецензия посвящена русскому переводу книги Чарльза Гомера Хаскинса «Ренессанс XII века», изданному в 2025 году. Авторы анализируют качество перевода, обращая внимание на соотношение точности и ясности оригинала. Рассматриваются как общие достоинства издания, так и конкретные недостатки перевода. В статье подробно разбираются примеры буквального следования синтаксису английского текста, что в отдельных случаях приводит к двусмысленности или ...
Добавлено: 10 августа 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 г.