计量逻辑学中的线性逻辑公式

• 作者: 王国俊 王庆平
• 来源期刊: 陕西师范大学学报：自然科学版
• 学科: 数学
• 关键词: 布尔函数 线性逻辑公式 真度 反射变换 不动点
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 数学与计算机科学
• 页码范围: 1-5
• 页数: 5页
• 分类号: O142
• 字数: 5782字
• 语种: 中文

摘要

基于密码学中的线性布尔函数概念，在经典逻辑度量空间中提出了线性逻辑公式的概念，给出了n元线性逻辑公式的构造方法．研究了反射变换下线性逻辑公式的性质，证明了所有线性逻辑公式的真度等于1／2，并研究了一类代数次数等于k的布尔函数所对应的逻辑公式的性质，证明了该类公式的真度等于1／2^k．

作者信息

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