• 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
October 8, 2026
HSE Experts Take Part in 23rd Annual Meeting of Valdai Discussion Club
The 23rd Annual Meeting of the Valdai Discussion Club was held from September 28 to October 1, 2026 under the theme ‘Responsibility for the Future: Limits of the Possible, or Limitless Possibilities?’ The forum brought together 120 experts from 40 countries, including representatives of China, the United States, India, Brazil, the United Kingdom, Germany, Egypt, Iran, and Japan.
October 7, 2026
‘Our Team Consists of True Leaders in Their Respective Academic Disciplines
The HSE International Centre of Decision Choice and Analysis studies a wide range of methods for analysing decision-making and possible scenarios for the development of natural, socio-economic, and political phenomena using various mathematical models. The application of advanced mathematical methods to forecasting helps to prevent negative outcomes and avoid erroneous decisions. The HSE News Service spoke to the centre’s director, Prof. Fuad Aleskerov, about its work.
October 6, 2026
International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod Brings Together Scientists from Russia and Serbia
The International N5 Symposium ‘Neural Networks and Nonlinearity in Nizhny Novgorod’ was held at the Nizhny Novgorod House of Scientists from September 23 to 26. The event was organised by HSE University–Nizhny Novgorod and the Nizhny Novgorod House of Scientists, with the participation of Sberbank and the Institute of Physics Belgrade. The symposium was held for the second time: the first conference took place in 2025 and attracted considerable interest from the academic community.

 

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
Computer Science and Health Engineering in Health Services
Cham: Springer, 2021.
Added: September 18, 2026
Proceedings of the 2026 Fourth International Conference on Distributed Computing and High Performance Computing (DCHPC)
IEEE, 2026.
On behalf of the Organizing Committee, it is my great pleasure to extend a warm welcome to all participants of the Fourth International IEEE Conference on Distributed Computing and High-Performance Computing (DCHPC 2026), held in Tehran from May 10–11, 2026. This conference is jointly organized by the School of Computer Science at the Institute for Research in Fundamental Sciences (IPM) ...
Added: September 2, 2026
Congressus Duodecimus Internationalis Fenno-Ugristarum, Oulu 2015. Book of Abstracts
Oulu: University of Oulu, 2015.
This book of abstracts contains all the abstracts of CIFU XII presentations that were accepted. Chapter 1 includes the abstracts of the plenary presentations, chapter 2 the abstracts of the general session papers and chapter 3 the abstracts of the papers submitted to the symposia. The abstracts are presented in alphabetical order by authors' last ...
Added: July 26, 2026
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 2025 Vol. 20 No. 2-3 P. 381–411
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
  • 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