论文部分内容阅读
1958年,Joachim Lambek提出了Lambek演算,进一步推动了逻辑学、语苦学、计算机科学等学界的纵深和交叉发展。然而存语法分析方面,Lambek演算与范畴语法的结合仍存在不足,就传统的Lambek演算而言,由于其过于刚性,因此所能处理的语法问题还有限。本文重点论述了传统Lambek演算不能处理的时态句型问题,并基于此设计了模态Lambek演算系统(Lambek Calculus with Temporal Modality,LTM系统)。LTM系统在相应关系框架上是可靠的和完全的,同时在证明