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

来源 :重庆理工大学学报:社会科学 | 被引量 : 0次 | 上传用户:janyang256
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
主要以贾戈尔(Jager)在类型逻辑框架下对照应现象的处理方法为依托展开研究。试图厘清几种从范畴角度出发处理照应现象的方法,从中筛选出简明高效的方法,即贾戈尔通过在带有受限缩并规则的兰贝克演算中引入照应算子"|"(anaphora slash)的处理方法。目的是为读者清晰地描绘出逻辑学家与语言学家们研究问题的思路历程,以提醒读者在研究的过程中不要纠缠于他们所提供的艰深知识,而要把研究重心转向对其思想方法的追寻,以期有更多斩获。
其他文献
研究了离子液体[Hmim]^+BF4^-中尼泊金甲酯的合成,并通过正交实验获得了反应的最佳条件:反应的摩尔比为n(对羟基苯甲酸)∶n(甲醇)为1∶4。反应温度为回流,反应时间为4 h,产率可达88
1前言受欧洲非织造布协会EDANA和相关工厂的邀请,中国非织造布和产业用纺织品行业协会组织参观团赴瑞士日内瓦参加了Index'02(4月16~19日)国际非织造布展览会和研讨会,并
随着人口的老龄化,股骨转子间骨折发病率不断提高,占全身骨折的3%~4%,占髋部骨折的35.7%[1]。对于可以耐受手术的患者,绝大多数学者主张积极手术治疗[2]。骨愈灵Ⅰ号为福州市
恢复期精神分裂症患者自知力开始恢复;但在疾病过程中出现情感体验能力降低,情绪认知功能损害,患者无法通过喜、怒、忧、思、悲、恐、惊的正确情绪反应表达他们的情感,无法准
目的提高囊性肾细胞癌的诊治水平。方法回顾性分析2004年2月至2011年5月收治的18例囊性肾细胞癌患者临床资料,包括临床特点、影像学表现、术式选择、病理结果和随访情况。结
辣椒素是存在于辣椒中的一种极度辛辣的香草酰胺类生物碱,其特有的生物活性使其在食品、医药、卫生以及军事方面具有重要的应用价值,对其提取工艺进行优化是提高其应用价值的