一类二值谓词逻辑中公式的准真度理论

• 作者: 周湘南 王国俊 秦晓燕
• 来源期刊: 陕西师范大学学报（自然科学版）
• 学科: 数学
• 关键词: 谓词逻辑 有限解释 相对真度 准真度
• 年，卷（期）: 2005,（1）
• 所属期刊栏目: 专题研究
• 页码范围: 1-6
• 页数: 6页
• 分类号: O141.1|O211.1
• 字数: 6877字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2005.01.001

摘要

在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集.在此基础上基于有限均匀分布概率测度空间的可数无穷乘积引入了逻辑公式的相对真度与准真度概念,证明了关于准真度而言MP规则与HS规则成立,并基于准真度对全体谓词公式之集进行了分类.准真度理论虽然并不与逻辑有效公式以及矛盾式概念完全吻合,但可证明存在一类公式,对该类公式而言,逻辑有效性等价于准直度为1,矛盾性等价于准真度为0.所以分准真度为1或0分别是逻辑有效公式或矛盾式概念的一种推广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王国俊	陕西师范大学数学与信息科学学院	46	1247	16.0	34.0
5	秦晓燕	陕西师范大学数学与信息科学学院	4	26	2.0	4.0
6	周湘南	陕西师范大学数学与信息科学学院	2	22	1.0	2.0