带有受限缩并规则的兰贝克演算中的照应算子

主要以贾戈尔(Jāger)在类型逻辑框架下对照应现象的处理方法为依托展开研究.试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子"I"(anaphora slash)的处理方法.目的是为读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程,以提醒读者在研究的过程中不要纠缠于他们所提供的艰深知识,而要把研究重心转向对其思想方法的追寻,以期有更多斩获.