• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Статьи
  • On syntactic concept lattice models for the Lambek calculus and infinitary action logic
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
2 октября 2026 г.
В НИУ ВШЭ обсудили этические границы взаимодействия человека и антропоморфного робота
В Высшей школе экономики состоялся экспертный семинар Центра этики и онтологии роботов Института робототехнических систем (ИРС), посвященный разработке практических требований к проектированию и безопасному внедрению антропоморфных роботов. Участники обсудили, как перевести этические принципы в технические параметры, протоколы проверки и требования к эксплуатации робототехнических систем.
1 октября 2026 г.
Смыслы, скорость и локальный код: как изменится потребительский спрос в креативных индустриях к 2029 году
Институт развития креативных индустрий ФКИ ВШЭ подвел итоги масштабного Трендвотчинг-исследования, проведенного весной 2026 года. В нем приняли участие более 300 ведущих экспертов. Одним из ключевых выводов стало понимание: потребитель больше не покупает продукт как набор функций. Он выбирает отношение, скорость, смысл и личную вовлеченность. В качестве доминирующего тренда на трехлетнем горизонте зафиксирован переход от материальных характеристик продукта к нематериальным.
1 октября 2026 г.
Российские ученые оценили скрытые риски болезней сердца у 43 тысяч человек
Исследователи НИУ ВШЭ и «Биотехнологического кампуса» проанализировали более 43 000 геномов здоровых участников Национальной генетической инициативы «100 000+Я». У 559 человек обнаружили патогенные или вероятно патогенные варианты генов, связанные с риском сердечно-сосудистых заболеваний. Такие данные позволяют раньше начать лечение или провести дополнительное обследование. О результатах исследования ученые рассказали на конгрессе «Генетика и сердце» в НИУ ВШЭ.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

On syntactic concept lattice models for the Lambek calculus and infinitary action logic

Journal of Logic and Computation. 2026. Vol. 36. No. 1. Article exaf078.
Stepan L. Kuznetsov
Научное направление: Математика Компьютерные науки
Язык: английский
Полный текст
DOI
Текст на другом сайте
Ключевые слова: concept latticesLambek calculus
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Симметрия. Информация. Хаос (2025)
Похожие публикации
Graphon spin systems as exactly solvable models
Medvedev G., Alexandrov Artem, Physical Review E - Statistical, Nonlinear, and Soft Matter Physics 2026 Vol. 114 Article 044102
Добавлено: 2 октября 2026 г.
Планетарное зацепление трилистника
Починка О. В., Баранов Д. А., Ноздринова Е. В., Теоретическая и математическая физика 2026 Т. 229 № 1 С. 3–14
Частично решена задача Бирмана–Вильямса об описании планетарного зацепления расслоенного узла K ⊂ S3. С использованием теории Нильсена классификации периодических гомеоморфизмов поверхностей и ее тесной связи с теорией градиентно-подобных диффеоморфизмов доказано, что планетарным зацеплением трилистника (единственного периодического расслоенного узла рода 1) является зацепление, состоящее из трилистника и зацепления Хопфа. Кроме того, классифицированы все потоки на 3-сфере S3, реализующие ...
Добавлено: 2 октября 2026 г.
Bayesian Adaptive Sparse Copula
Prokhorov A., Burda M., Journal of Computational and Graphical Statistics 2026 P. 1–13
Добавлено: 2 октября 2026 г.
Pericyte-derived cancer-associated fibroblasts correlate with poor survival and are enriched after chemoradiotherapy in glioblastoma
Aly Ismailov, Попцова М. С., Plos One 2026 Vol. 21 No. 9 Article e0355902
Добавлено: 2 октября 2026 г.
A quantum–analogue formalism for modeling supraliminal information processing
Лубашевский И. А., Lubashevskiy V., Physica D: Nonlinear Phenomena 2026 Vol. 498 Article 135441
Добавлено: 2 октября 2026 г.
Консервативные энтропийно и энергетически корректные разностные методы для одномерных квазигазодинамических систем уравнений
Злотник А. А., Математические заметки 2026 Т. 120 № 6 С. 1005–1009
Численным методам решения систем газодинамических уравнений посвящена обширная литература. Ранее было разработано и успешно апробировано специальное семейство симметричных по пространству  консервативных разностных методов, основанных на предварительной кинетической, точнее, квазигазодинамической (КГД), регуляризации этих уравнений. Актуальной задачей является построение численных методов, которые обладают не только свойством консервативности по массе, импульсу и полной энергии, но и удовлетворяют условиям энтропийной ...
Добавлено: 1 октября 2026 г.
On some arithmetic conditions of recurrent sequences modulo prime p
Вьюгин И. В., Sashadhar D., Algebra and Number Theory 2026 P. 1–10
We study the K-Fibonacci sequence Fp modulo prime p. Cardinalities of sets |Fp+Fp| and |Fp⋅Fp| are estimated. We present the method of estimating doubling constant of some m-dimensional recurrent sets in Fp. ...
Добавлено: 1 октября 2026 г.
Fractional Macroscopic Fluctuation Theory for a Superdiffusive Ginzburg-Landau dynamics
Бернардан С. Ж., João P. M., Gonçalves P., PROBABILITY AND MATHEMATICAL PHYSICS 2026 P. 59–59
We investigate a boundary-driven Ginzburg-Landau dynamics with long-range interactions. In the hydrodynamic limit, the macroscopic evolution is governed by a fractional heat equation with Dirichlet boundary conditions, while the corresponding stationary profile is characterized by a fractional Laplace equation. We establish a dynamical large deviations principle for the empirical measure and derive the associated stationary ...
Добавлено: 1 октября 2026 г.
Long-time behaviour of dynamical systems driven by bounded mixing noises
Куксин С. Б., Dynamical Systems 2026
Добавлено: 1 октября 2026 г.
Markovian reduction and exponential mixing in total variation for random dynamical systems
Куксин С. Б., Shirikyan A., Journal of Dynamics and Differential Equations 2026 P. 1098–1100
Добавлено: 1 октября 2026 г.
Bounds on the derivatives of the log-cumulative distribution function of the multivariate normal distribution
Потанин Б. С., Долгих С. И., Statistics and Probability Letters 2027 Article 110984
Добавлено: 1 октября 2026 г.
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2026)
International Joint Conferences on Artificial Intelligence, 2026.
Добавлено: 1 октября 2026 г.
Asymptotics of Spectrum and Quantum Averages of the Hydrogen Atom in a Magnetic Field Near the Upper Boundaries of Spectral Clusters
A. V. Pereskokov, Journal of Mathematical Sciences 2026 Vol. 302 No. 4 P. 531–545
Добавлено: 1 октября 2026 г.
Ensemble-based Prototype-Augmented Multimodal Fusion for Ambivalence/Hesitancy Recognition
Рюмина Е. В., Аксёнов А. А., Сысоев Д. С. и др., IEEE Computer Society, 2026.
Добавлено: 30 сентября 2026 г.
Simultaneous approximation of the score function and its derivatives by deep neural networks
Яковлев К. Д., Пучкин Н. А., Journal of Complexity 2026 Vol. 97
Добавлено: 30 сентября 2026 г.
Conservative Entropy and Energy Correct Difference Methods for One-Dimensional Quasi-Gasdynamic Systems of Equations
Злотник А. А., Mathematical notes 2026 Vol. 120 No. 6 P. 1174–1178
Добавлено: 30 сентября 2026 г.
О числе Пикара и размерности алгебраических однородных пространств
Бельдиев И. С., Тимашёв Д. А., Алгебра и анализ 2026 Т. 38 № 5 С. 1–10
Алгебраическое многообразие X называется однородным пространством, если на X существует транзитивное регулярное действие алгебраической группы. Мы доказываем неравенства, связывающие размерность однородного пространства линейной алгебраической группы и его число Пикара. ...
Добавлено: 30 сентября 2026 г.
Decoding Algorithms for Binary U-UV Codes: A Unified Survey of Performance and Complexity
Иванов Ф. И., Котов Ф. И., IEEE Access 2026 Vol. 14 P. 104662–104679
Добавлено: 30 сентября 2026 г.
An archaic reference-free method to jointly infer Neanderthal and Denisovan introgressed segments in modern human genomes,
Planche L., Ильина А. В., Jay F. и др., Molecular Biology and Evolution 2026 Article 235
Добавлено: 30 сентября 2026 г.
Uniqueness theorem for completely non-degenerate B-groups
Глуцюк А. А., Ильяшенко Ю. С., Izvestiya. Mathematics 2026 Vol. 90 No. 1 P. 73–89
Добавлено: 30 сентября 2026 г.
Is Canfield Right? On the Asymptotic Coefficients for the Maximum Antichain of Partitions and Related Counting Inequalities
Игнатов Д. И., , in: 11th International Conference, AIST 2023, Yerevan, Armenia, September 28–30, 2023, Revised Selected Papers. Analysis of Images, Social Networks and Texts. Lecture Notes in Computer Science (LNCS, volume 14486).: Cham: Springer, 2024. P. 349 – 361.
Добавлено: 23 января 2026 г.
Cooperative games with fuzzy characteristic functions on concept lattices
Kemgne M. W., Njionou B. B., Игнатов Д. И. и др., International Journal of Approximate Reasoning 2025 Vol. 186 Article 109527
Добавлено: 23 января 2026 г.
Infinitary action logic with exponentiation
Кузнецов С. Л., Сперанский С. О., 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 г.
Infinitary action logic with multiplexing
Кузнецов С. Л., Сперанский С. О., 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 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору