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

摘要：

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

关键词：布尔函数、线性逻辑公式、真度、反射变换、不动点

所属期刊栏目：40

分类号：O142(数理逻辑、数学基础)

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

在线出版日期：2012-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-5