对称逻辑公式在L*3逻辑度量空间中的分布

• 作者: 王国俊 王庆平
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 对称三值R0函数 对称逻辑公式 准对称逻辑公式 同类向量 稠密
• 年，卷（期）: 2011,（1）
• 页码范围: 105-114
• 分类号: TP301
• 字数: 10892字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2011.00105

摘要

在三值逻辑系统L*3中引入了对称三值R0函数的概念,在此基础上给出了对称逻辑公式和准对称逻辑公式的定义.研究了在逻辑等价意义下对称逻辑公式的性质,给出了L*3和经典逻辑系统L中对称逻辑公式之间的关系及其计数问题,证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋向于零,且全体对称逻辑公式的真度之集却在[0,1]中稠密.然而全体对称逻辑公式之集是逻辑度量空间中的无处稠密集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王庆平	陕西师范大学数学与信息科学学院	27	71	5.0	7.0
3	王国俊	陕西师范大学数学与信息科学学院	176	2910	25.0	49.0