首页 | 本学科首页   官方微博 | 高级检索  
     检索      

广义量词的单调性与其他语义性质之间的关系
引用本文:张晓君,吴宝祥.广义量词的单调性与其他语义性质之间的关系[J].重庆理工大学学报(社会科学版),2015(1):49-53.
作者姓名:张晓君  吴宝祥
作者单位:四川师范大学政治教育学院,成都,610066
基金项目:国家社会科学基金西部项目
摘    要:广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.

关 键 词:广义量词  同构闭包性  扩展性  单调性  驻留性  对称性  一阶逻辑

Relations Between Monotonicity of Generalized Quantifiers and Other Semantic Properties
Abstract:
Keywords:
本文献已被 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号