并发的Lambek演算相关论文
为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询......
时态逻辑不可递归公理化的性质，造成它的公理化系统和证明论方法不适于时态查询语言的建模．这使得时态逻辑无法利用公理化系统的良好......
