语法证明相关硕士博士期刊学术论文 - 信丰网

语法证明相关论文

论麦金森定理及其等价命题

麦金森定理在模态逻辑中扮演了举足轻重的作用.利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理......

期刊

麦金森定理语法证明波斯特完全性 (克里普克)框架分裂对 Makinson＇s theorem syntactic proof Post complet

《论语》宾语前置结构“O之V”及相关问题探析

宾语前置结构＂O之V＂和＂O是V＂是孔子常用的倒装结构,据此可为16.12章的阙文及说话人身份问题提供一种较为合情合理的解释。通过对这两种......

期刊

宾语前置论语 O之V O是V 语法证明

看过本文同时还关注