完全稠密二叉偏序理论的量词消去(Ⅰ)

• 作者: 沈复兴 陈磊
• 来源期刊: 北京师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 量词消去 完全稠密二叉偏序 基本公式 同类公式
• 年，卷（期）: 2008,（6）
• 页码范围: 568-572
• 页数: 5页
• 分类号: O1
• 字数: 4350字
• 语种: 中文
• DOI: 10.3321/j.issn:0476-0301.2008.06.003

摘要

给出了完全稠密二叉偏序理论在语言L={≤,R}中的公理集,证明了在语言L={≤,R}中,该理论具有不可量词消去的性质.同时提出了该理论在L={≤,R,*}中的六类基本公式,通过考虑不同基本公式合取的量词消去情况, 来证明完全稠密二叉偏序理论在语言L={≤,R,*}中具有量词消去的性质. 着重考虑了同类基本公式合取的量词消去情况,并给出消去的算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈磊	北京师范大学哲学与社会学学院价值与文化研究中心	39	145	8.0	11.0
2	沈复兴	北京师范大学信息科学与技术学院	21	98	4.0	9.0