Tuples, Discontinuity, and Gapping in Categorial Grammar
Tuples, Discontinuity, and Gapping in Categorial Grammar
复制标题
范畴语法中的元组、不连续性和间隙
DOI：
10.3115/976744.976778
复制
发表时间：
1993
期刊：
影响因子：
--
通讯作者：
Teresa Solias
中科院分区：
文献类型：
--
作者：
G. Morrill;Teresa Solias
本文解决了范畴语法中不连续逻辑形式化中的一些难题。[Solias， 1992]中引入的“元组”操作被定义为具有相关投影函数的韵律组合模式，因此可以支持独特的韵律可分解性。不连续算子是由一个特别易于理论证明的残值格式在模型理论上定义的。这使得一个公式既改进了[Moortgat， 1988]的包裹和嵌入逻辑（只是部分的），又解决了将这些建议应用于原位绑定现象时插入点的确定性的一些问题。不连续积也由留值方案定义，从而可以为“子串”积制定使用规则和证明规则，而“子串”积也同样注定是部分逻辑。我们展示了该仪器如何能够表征不连续函子，如粒子动词和短语成语，以及量词上升和花斑管等结合现象。我们通过展示该装置如何使用不连续积和包裹算子对（SVO）间隙进行简单的分类分析来得出结论。
This paper solves some puzzles in the formalisation of logic for discontinuity in categorial grammar. A 'tuple' operation introduced in [Solias, 1992] is defined as a mode of prosodic combination which has associated projection functions, and consequently can support a property of unique prosodic decomposability. Discontinuity operators are defined model-theoretically by a residuation scheme which is particularly ammenable proof-theoretically. This enables a formulation which both improves on the logic for wrapping and infixing of [Moortgat, 1988] which is only partial, and resolves some problems of determinacy of insertion point in the application of these proposals to in-situ binding phenomena. A discontinuous product is also defined by the residuation scheme, enabling formulation of rules of both use and proof for a 'substring' product that would have been similarly doomed to partial logic.We show how the apparatus enables characterisation of discontinous functors such as particle verbs and phrasal idioms, and binding phenomena such as quantifier raising and pied piping. We conclude by showing how the apparatus enables a simple categorial analysis of (SVO) gapping using the discontinuity product and the wrapping operator.