Extending Lambek grammars(cid:1) a logical account of minimalist grammars

Extending Lambek grammars(cid:1) a logical account of minimalist grammars
复制标题

扩展 Lambek 语法（cid:1）极简语法的逻辑说明

DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Christian Retorez
Christian Retorez
中科院分区：
--
文献类型：
--
作者：
Alain Lecomtey;Christian Retorez

文献摘要

被引文献

相似文献

我们给出了最简语法(CID：4)的逻辑描述(CID：20)，它们是稳定的(CID：3)乔姆斯基(CID：3)的S形式化(CID：18)S最小程序(CID：18)我们的逻辑描述(CID：20)甚至比原始的(CID：4)更简单导致(CID：21)(CID：6)与范畴语法(CID：4)的巧妙关系产生了蒙太古语义学(CID：18)(CID：6)的解析(CID：6：6)在一些资源敏感逻辑(CID：6)中的推导基于类型(CID：6)算法和类型(CID：6)的结构化数据的学习算法(CID：6)uni(CID：20)阳离子(CID：18)我们对极简文法的看法也是Lambek文法的扩展(CID：21)我们保留了它们的基本词汇主义和逻辑观(CID：18)由于de Groote(CID：4)，通过使用混合交换(CID：22)非交换逻辑提高了生成能力，并且该逻辑不像在Lambek文法(CID：21)中那样使用)(CID：6)乘积是必需的(CID：4)因为它编码移动(CID：6)到目前为止不需要假设推理(CID：4)I(CID：18)e(CID：18)我们只有在经典(CID：16)AB(CID：17)范畴语法或组合范畴语法(CID：6)中的排除规则该证明决定了价位(CID：6)的消耗，但词序是通过简单的装置(CID：16)从证明中计算出来的与Lambek语法(CID：17)(CID：18)相比，价态(CID：6)消耗更多(CID：23)
We provide a logical de(cid:20)nition of Minimalist grammars(cid:4) that are Stabler(cid:3)s formalization of Chomsky(cid:3)s minimalist program(cid:18) Our logical de(cid:20)nition(cid:4) even simpler than the original one(cid:4) leads to(cid:21) (cid:6) a neat relation to categorial grammar(cid:4) yielding a treatment of Montague semantics(cid:18) (cid:6) a parsing(cid:6)as(cid:6)deduction in some resource sensitive logic (cid:6) a learning algorithm from structured data based on a typing(cid:6)algorithm and type(cid:6)uni(cid:20)cation(cid:18) Our view of minimalist grammars also is an extension of Lambek grammars(cid:21) we keep their radical lexicalism and logical view(cid:18) The generative capacity is increased by using a mixed commutative (cid:22) non commutative logic due to de Groote(cid:4) and this logic is not used as in Lambek grammars(cid:21) (cid:6) product is essential(cid:4) since it encodes movement (cid:6) up to now hypothetical reasonning is not needed(cid:4) i(cid:18)e(cid:18) we only have elimination rules as in classical (cid:16)AB(cid:17) categorial grammars or combinatory categorial grammars (cid:6) the proof determines the consumption of the valencies (cid:6) but word order is computed from the proof by a simple device (cid:16)the relation between word(cid:6)order and valency(cid:6)consumption is more (cid:23)exible than in Lambek grammars(cid:17)(cid:18)