标号自然演绎系统相关硕士博士期刊学术论文

为寻找时态逻辑的替代者，以公理化的方式对时态查询语言做句法和语义的分析，构建了并发的Lambek演算（LCTQ）及其范畴语法用以作时态查询......