检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:罗翊重[1]
机构地区:[1]云南省社会科学院哲学研究所,云南昆明650034
出 处:《云南社会科学》2004年第4期27-32,共6页Social Sciences in Yunnan
摘 要:作者通过比较量词结构、认知模态词结构、规范模态词结构三者间的惊人类似,引出了源于本体论之存在或非存在的广义模态结构词的一般逻辑否定算法,从而为从命题模态到系动词模态再到情态动词模态的逻辑否定演算,提供了一种能行的研究思路。By comparimg amazing similarities among the quantifier structure, the cognitive model word structure and the standard model word structure, the author draws forth the general logic negation algorithm of generalized model structural word from the existent or non-existent of ontology. Furthermore, he provides a reasonable research thinking for Logic negation algorithm from proposition model to 1inking verb model and to modal verb model.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.117.241.170