具有岛约束和有效判定性的抽象范畴文法
Abstract categorial grammars with island constraints and effective decidability
摘要：
一个众所周知的方法来处理语法岛的限制，在设置的Lambek语法包括在添加特定的括号模态的逻辑。我们适应这种方法抽象范畴语法（ACG）。因此，我们定义了括号（蕴涵）线性逻辑，括号内的代数演算，并最终，括号内ACG的基础上括号内的$λ$演算。这使得我们至少可以在相对化的背景下对最简单的岛屿约束进行建模。接下来，我们确定特定的安全括号ACG，就像普通的（无括号）二阶ACG生成有效的可判定的语言，但足够灵活的模型一些高阶现象，如相对化和正确处理语法岛，至少在简单的玩具的例子。
英文摘要：
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 $λ$-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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
