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