同构闭包性相关硕士博士期刊学术论文 - 搜论网

同构闭包性相关论文

广义量词的单调性与其他语义性质之间的关系

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理。广义量词的语义性质主要包括：同构闭包性......

期刊

广义量词同构闭包性扩展性单调性驻留性对称性一阶逻辑 generalized quantifiers isomorphism closure ex

看过本文同时还关注