道义逻辑D-系统的一种布尔值模型

本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.     

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

关于模态命题系统P_5的协调性

证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.     

关于模态命题公式4、E和B的布尔值

模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调的     

△^（B）中的混合与混合原理

文献[1]证明△^(B)是公理系统GB的布尔值模型，本文首先定义△^(B)中元素关于B的一个反链的混合；然后，证明△^(B)中的混合原理；最后，利用它证明△^(B)（B≠{0,1})也是公理系统QM的布尔值模型。     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。     

一类广义的带参数的Hilbert型奇异积分算子的范数

Hilbert型奇异积分算子在分析学中有重要的作用.本文通过引入参数λ和两个实数A1,A2,在广义区间(0,b)上定义了一个带参数的核为1/xλ+yλ的Hilbert型奇异积分算子T:(Tf)(y)=∫bc f(x)/xλ+yλdx,利用权函数方法和算子理论,研究了T的有界性问题,在条件A2 p+A1q=2-λ下,得到了算子T的范数‖ T ‖=B(1-A2p/λ,1-A1q/λ)/λ.作为应用,还考虑其涉及内积的等价形式(Tf,g)≤[B(1-A2p/λ,λ-1+A2q/λ)/λ]1/p[B(1-A1q/λ,λ-1+A1q/λ)/λ]1/q‖f‖p,ω'‖g‖q,w".     

严格蕴涵系统S3的协调性

文献[2]没有解决严格蕴涵系统S3的协调性,本文证明严格蕴涵系统S3的协调性.为此,首先证明严格蕴涵系统P3的协调性(用布尔值模型方法);其次证明模态系统P3和严格蕴涵系统S3等价.     

Boole幂格与Boole幂环

超代数是近年来较为热门的研究对象,它在逻辑和近似推理等研究中具有重要的应用前景．在格的提升——幂格,环的提升——幂环的基础上给出了Boole幂格与Boole幂环的概念,并且讨论了Boole幂格与Boole幂环的一些基本性质和它们在一定条件下的对应关系。     

布尔行列式及其性质

在布尔代数上引入多种意义下的行列式,主要讨论了det1(A)和det2(A)的性质,并推广了各行列式的性质,得到一些交换体上行列式不曾具有的结论.     

软布尔代数

将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。     

基于8种常用蕴涵算子上的模糊布尔代数

在文献[1]的基础上,利用不等式的刻画方法,给出8种常用的R-蕴涵算子下的R-模糊布尔代数的8种等价形式,推广了现有相应模糊代数的结果,丰富了模糊代数的理论成果。     

布尔代数的软商布尔代数

定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性.     

区间软布尔代数

将区间软集应用于布尔代数之中,定义了区间软布尔代数、区间软布尔子代数、区间理想软布尔代数和区间软布尔代数的区间软同态等概念,并研究了它们的相关性质。推广了软布尔代数及其相关结论。     

Boolean方阵的注记

一个 n阶 Boolean方阵 A =[aij] n× n 等价于顶点集是 1 ,2 ,… ,n的有向图 D(A) ,所以 Boolean方阵有很大实用价值 .目前它已经成为工程技术和信息处理中不可缺少的数学工具 ,并逐渐渗透到其他领域 .Kim[1 ] 曾论述了 Boolean向量和 Boolean方阵的性质 ,但对 Boolean方阵的某些性质未做深入研究 .Boolean方阵与 Hadamard矩阵有许多相似之处 ,文献 [2 ]作者利用 Boolean向量巧妙地证明了不存在4K(K >1 )阶完全循环的 Hadamard矩阵的猜想 .文献 [3]较系统地讨论了 Boolean方阵的幂序列 ,使人们对 Boolean方阵的性质的认识日渐深化 ,…     

关于布尔线路计算模型的注记

本文给出了一种布尔线路的编码方案.证明了有关布尔线路编码中的两个定理,其中定理1表明对布尔线路这种计算模型,没有类似于图灵机的递归式定理那样的结论;定理2表明对于布尔线路计算模型,存在类似于图灵机中的Smn定理那样的结论.另外,本文还证明了一个有关布尔线路宽度的定理,此定理表明,布尔线路的宽度与计算能力无关.     

广义循环布尔矩阵三明治半群中的幂等元

在广义循环布尔矩阵半群Gn中定义一个新的运算" ",并证明了(Gn, )构成一个半群.在对该半群中的幂等元进行刻画的基础上,给出求Gn(C)中所有幂等元的一个方法.