计量逻辑学中的线性逻辑公式-陕西师范大学学报期刊社网站

陕西师范大学学报（自然科学版）

数学与计算机科学

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

王庆平1,2, 王国俊1*

(1 陕西师范大学数学与信息科学学院，陕西西安 710062； 2 聊城大学数学科学学院，山东聊城 252059)

王庆平，男，讲师，博士研究生，研究方向为不确定推理和模糊逻辑. E-mail:lc_wqp@163.com.*通信作者：王国俊，男，教授，博士研究生导师.E-mail：gjwang@snnu.edu.cn.

摘要:

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

关键词：

布尔函数；线性逻辑公式；真度；反射变换；不动点

收稿日期：

2011-09-01

中图分类号：

O142

文献标识码：

文章编号：

1672-4291(2012)02-0001-05

基金项目：

国家自然科学基金资助项目(10771129,61005046,11171200).

Doi:

Linear logic formulae in the theory of quantitative logic

WANG Qing-ping1,2， WANG Guo-jun1*

(1 College of Mathematics and Information Science, Shaanxi Normal University, Xi′an 710062, Shaanxi,China； 2 School of Mathematics Science, Liaocheng University, Liaocheng 252059,Shandong, China)

Abstract:

Based on the concept of linear Boolean functions in cryptology, the concept of linear logic formulae in classical logic metric space is proposed. And methods of construction of n-ray linear logic formulae are given. In classical logic metric space, the properties of linear logic formulae under reflexive transformation are studied. It is proved that the truth degrees of all linear logic formulae are equal to 1/2. And properties of some logic formulae induced by Boolean functions of degree equaling to k are studied and it is proved that the truth degrees of these logic formulae are equal to 1/2k.

KeyWords:

Boolean function; linear logic formulae; truth degree；reflexive transformation；fixed point