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

• 作者: 吴宝祥 张晓君
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 广义量词 同构闭包性 扩展性 单调性 驻留性 对称性 一阶逻辑
• 年，卷（期）: 2015,（1）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 49-53
• 页数: 5页
• 分类号: B81
• 字数: 5503字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2015.01.008

摘要

广义量词理论是一阶逻辑的扩展理论,它比一阶逻辑更有利于计算机进行知识表示和知识推理.广义量词的语义性质主要包括:同构闭包性、扩展性、驻留性、单调性、对称性.单调性是广义量词最为重要的语义性质.给出6个定理,主要论述广义量词的单调性与其他语义性质之间的关系,比如:具有单调性的广义量词首先得满足驻留性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晓君	四川师范大学政治教育学院	20	50	4.0	6.0
2	吴宝祥	四川师范大学政治教育学院	3	8	2.0	2.0