• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Bracket Induction for Lambek Calculus with Bracket Modalities
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 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
  • More
Subject
News
July 16, 2026
Team Success: Aligning Means with Objectives
In corporations, sports, and academia, people often face challenges they cannot handle alone. In such cases, selecting the right team is crucial. Tatiana Mayskaya, Associate Professor at the HSE Faculty of Economic Sciences and the International College of Economics and Finance, together with colleagues from foreign universities, examined team characteristics and found that less diverse teams are better suited to objectives where a high average performance is important, whereas more diverse teams are preferable when avoiding failure is critical. The paper has been published in Economic Theory.
July 15, 2026
Economists Propose More Effective Approach to Reducing Smoking
Economists at HSE University have examined how smokers respond to changes in cigarette prices. When tobacco prices increase, cigarette consumption does not always decline. In fact, spending on tobacco may even rise: according to the researchers, a 1% decrease in cigarette affordability leads to a 0.28% increase in per capita tobacco expenditure. The findings suggest that to reduce smoking rates, tobacco prices must rise faster than household incomes. The study has been published in Voprosy Statistiki.
July 15, 2026
HSE MIEM Students to Develop Two Satellites from Scratch for Orbital Experiments
The devices, created by student teams, will conduct space research on the properties of promising solar cells, on-board energy storage systems, and serial electronics for student satellites.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Bracket Induction for Lambek Calculus with Bracket Modalities

P. 84–101.
Kuznetsov S., Kanovich M., Scedrov A.

Abstract

Relativisation involves dependencies which, although unbounded, are constrained with respect to certain island domains. The Lambek calculus L can provide a very rudimentary account of relativisation limited to unbounded peripheral extraction; the Lambek calculus with bracket modalities Lb can further condition this account according to island domains. However in naïve parsing/theorem-proving by backward chaining sequent proof search for Lb the bracketed island domains, which can be indefinitely nested, have to be specified in the linguistic input. In realistic parsing word order is given but such hierarchical bracketing structure cannot be assumed to be given. In this paper we show how parsing can be realised which induces the bracketing structure in backward chaining sequent proof search with Lb.

Language: English
DOI
Keywords: linguistics computer science

In book

International Conference on Formal Grammar FG 2018: Formal Grammar 2018
Netherlands: Springer, 2018.
Similar publications
I Международная научно-образовательная конференция «Пейсиковские чтения: проблемы современного академического востоковедения»: материалы конференции
М.: ИСАА МГУ имени М.В. Ломоносова, 2023.
Издание представляет собой сборник материалов I Международной научно-образовательной конференция «Пейсиковские чтения: проблемы современного академического востоковедения», проведённой 21 апреля 2023 года в ИСАА МГУ имени М.В. Ломоносова. В книге представлены работы сотрудников Института и приглашённых специалистов из ряда ведущих институтов России и зарубежных стран Сборник в электронном виде можно скачать по ссылке http://iranistika.iling-ran.ru/Sbornik/ ...
Added: June 30, 2026
The 12th International Conference on Information Technology and Quantitative Management (ITQM 2025)
Netherlands: ScienceDirect, 2025.
No ...
Added: June 28, 2026
WWW '26: Proceedings of the ACM Web Conference 2026
NY: Association for Computing Machinery (ACM), 2026.
It is our great pleasure to welcome you to the 35th edition of the Web Conference to be held on June 29 – July 3, 2026, in Dubai, United Arab Emirates. Following discussions with our partners and key stakeholders, we have taken the decision to postpone the ACM Web Conference 2026, initially planned for April 2026. ...
Added: April 23, 2026
Миратив, нарратив, креатив: Сборник статей к юбилею Миры Бергельсон
М.: Буки Веди, 2026.
This book is dedicated to the anniversary of Mira Bergelson, Professor of the Higher School of Economics. It includes more than 70 texts devoted to various issues in linguistics, communication theory, language policy, and other areas of science, as well as personal impressions from interactions with the celebrant. The book is addressed to a wide range ...
Added: April 8, 2026
The effect of spelling errors on reading tasks: A study on Russian
Slioussar N., Chernova D., Magomedova V. et al., The Mental Lexicon 2026 P. 1–31
Many studies on different languages analyzed how spelling errors are produced and detected. Recently, a new generalization was made for several languages: frequently misspelled words are read more slowly, even when they are written correctly and one knows how to spell them. This is explained by the lower quality of their lexical representations diluted by ...
Added: March 26, 2026
Информатика и прикладная математика: Материалы IX Международной научно-пракической конференции (31.10 - 1.11.2024 г.)
Алматы: Институт информационных и вычислительных технологий КН МНВО РК, 2024.
The collection contains papers presented by scientists from the Republic of Kazakhstan, the Russian Federation, Latvia, Poland, the Republic of Belarus, Japan, Iran, Malaysia, the Kyrgyz Republic, the Republic of Uzbekistan, and others. It addresses current issues in mathematics, computer science, and management, including mathematical modeling of complex systems and business processes, research and development ...
Added: March 3, 2026
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9–13, 2024, Proceedings
Obiedkov S., Switzerland: Springer, 2024.
This book constitutes the proceedings of the First International Joint Conference on Conceptual Knowledge Structures, CONCEPTS 2024, which took place in Cádiz, Spain, during September 9-13, 2024. The conference is an amalgamation of the 18th International Conference on Formal Concept Analysis (ICFCA); the 17th International Conference on Concept Lattices and Their Applications (CLA); and the 28th ...
Added: January 23, 2026
Evidence from Acceptability Judgments Data
Mañas I., Rosado E., Fullana N. et al., Circulo de Linguistica Aplicada a la Comunicacion 2021 Vol. 87 P. 17–37
Added: November 29, 2025
Letter processing in Russian: Does orthography matter?
Alexeeva S. V., Dobrego A., Acta Psychologica 2021 Vol. 218 P. 103355
Added: November 29, 2025
The effect of a dyslexia-specific Cyrillic font, Lexiad, on reading speed: further exploration in adolescents with and without dyslexia
Alexeeva S. V., Zubov V., Konina A., Primenjena Psihologija 2022 Vol. 15 No. 2 P. 199–236
Added: November 29, 2025
Expanding horizons of cross-linguistic research on reading: The Multilingual Eye-movement Corpus (MECO)
Siegelman N., Schroeder S., Acartürk C. et al., Behavior Research Methods 2022 Vol. 54 No. 6 P. 2843–2863
Added: November 29, 2025
Text reading in English as a second language: evidence from the Multilingual Eye-Movements Corpus
Kuperman V., Siegelman N., Schroeder S. et al., Studies in Second Language Acquisition 2023 Vol. 45 No. 1 P. 3–37
Research into bilingual reading and second language (L2) reading acquisition is an exponentially growing field. Yet, it still suffers from a relatively short supply of comparable, ecologically valid data from readers representing a variety of first languages (L1). This data scarcity, coupled with high heterogeneity of methods, tasks and populations in the present literature, hinders ...
Added: November 29, 2025
SIGNAL: Dataset for Semantic and Inferred Grammar Neurological Analysis of Language
Komissarenko A., Voloshina E., Чевелева А. Н. et al., Scientific data 2025 Vol. 12 No. 1 Article 1687
Recently, the idea of brain-model alignment has been the topic of several influential works. However, most of previous studies were based on datasets collected during regular reading tasks where the subjects were not exposed to processing linguistic incongruencies, and stimuli were not controlled for key linguistic properties. Meanwhile, interpretability studies of Large Language Models pay ...
Added: November 18, 2025
8th International Conference on Computing, Control and Industrial Engineering (CCIE2024). Advances in Computing, Control and Industrial Engineering VIII (Volume 1). (LNEE, volume 1252)
Singapore: Springer, 2024.
This book collects selected aspects of recent advances and experiences, emerging technology trends that have positively impacted our world from operators, authorities, and associations from CCIE 2024, to help address the world’s advanced computing, control technology, information technology, artificial intelligence, machine learning, deep learning, and neural networks. Meanwhile, the topics included in the proceedings have ...
Added: November 6, 2025
Syntactic subordination affects discourse accessibility and subjective propositional importance: evidence from Russian
Bursov K., Slioussar N., Discourse Processes 2025 Vol. 62 No. 3 P. 155–176
Various coordinating and subordinating conjunctions that connect clauses differ in their structural properties. Such properties seem to influence discourse prominence: references to antecedents from main clauses are more frequent than from subordinate. Structurally, coordinate and subordinate clauses, as well as in-between cases, can be distinguished based on the degree of integration to the host clause. ...
Added: October 31, 2025
Greek and Barbarians Networking on the Shores of the Black Sea and Beyond. Ἐπισκύθισον: Studies Presented to Askold Ivantchik for His Sixtieth Birthday
Boston, Leiden: Brill, 2025.
This volume presents contributions in honour of Askold Ivantchik on his sixtieth birthday. Since his main academic interest lies in the Black Sea region in ancient times inhabited by diverse cultural groups who also had frequent contacts with people from far beyond, we collected articles on this topic. The volume presents papers analyzing different kinds ...
Added: October 6, 2025
N’yng-dyuumgu, n’yng-ngafq: Festschrift for Ekaterina Gruzdeva
Helsinki: Studia Orientalia, 2025.
Ekaterina Gruzdeva celebrates her 60th birthday on July 29, 2025. As the editors of the present volume, we are delighted to congratulate Katia with this Festschrift. Ekaterina Gruzdeva was born on 29 July 1965 in Saint Petersburg, then known as Leningrad. She completed her entire schooling, pursued her university studies, and subsequently worked as a researcher ...
Added: September 5, 2025
LII Международная научная филологическая конференция имени Людмилы Алексеевны Вербицкой, 19–26 марта 2024 года, Санкт-Петербург: сборник тезисов
СПб.: Издательство Санкт-Петербургского государственного университета, 2024.
T he Book contains abstracts of the theses of the LII Ludmila Verbitskaya International Scientific Philological Conference, which took place on March 19–26, 2024, at St. Petersburg State University. T he Book of Abstracts presents the results of theoretical and applied research on a wide range of topi cal problems in philology, divided according to ...
Added: September 2, 2025
Шугнанские этюды. Сборник статей о шугнанском языке
Хорог: Институт гуманитарных наук НАНТ, 2025.
The book "Shughni Etudes. Collection of Papers on the Shughni Language" (2025) is a reprint of articles published by the HSE Pamiri research team in 2020–2023. ...
Added: August 2, 2025
To inflect, or not to inflect, that is the question: an experimental study of indeclinability in Russian
Chuprinko K., Slioussar N., Journal of Slavic Linguistics 2025 P. 1–16
We present two experiments in which Russian speakers used nonce nouns ending in \textit{-a, -o, -e, -i} and \textit{-u}, producing a form or selecting it from the list. Most forms from \textit{-a} stimuli were inflected, as expected. We also received many inflected answers for other stimuli, although real \textit{-i/u} nouns are always indeclinable, as well ...
Added: July 16, 2025
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit