10.3969/j.issn.1674-8425(s).2015.01.008
广义量词的单调性与其他语义性质之间的关系
广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.
广义量词、同构闭包性、扩展性、单调性、驻留性、对称性、一阶逻辑
29
B81(逻辑学(论理学))
国家社会科学基金西部项目“汉语语句系统的逻辑语义学研究”13XYY016
2015-05-20(万方平台首次上网日期,不代表论文的发表时间)
共5页
49-53