Current browse context:
math.LO
Change to browse by:
References & Citations
Mathematics > Logic
Title: Abstract categorial grammars with island constraints and effective decidability
(Submitted on 16 Jul 2019 (v1), last revised 20 May 2020 (this version, v2))
Abstract: A well-known approach to treating syntactic island constraints in the setting of Lambek grammars consists in adding specific bracket modalities to the logic. We adapt this approach to abstract categorial grammars (ACG). Thus we define bracketed (implicational) linear logic, bracketed lambda-calculus, and, eventually, bracketed ACG based on bracketed $\lambda$-calculus. This allows us modeling at least simplest island constraints, typically, in the context of relativization. Next we identify specific safely bracketed ACG which, just like ordinary (bracket-free) second order ACG generate effectively decidable languages, but are sufficiently flexible to model some higher order phenomena like relativization and correctly deal with syntactic islands, at least in simple toy examples.
Submission history
From: Sergey A. Slavnov [view email][v1] Tue, 16 Jul 2019 11:52:46 GMT (26kb)
[v2] Wed, 20 May 2020 14:10:04 GMT (0kb,I)
Link back to: arXiv, form interface, contact.