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

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

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

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

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

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

关于道义逻辑系统的一种布尔值模型

本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.     

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

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

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

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

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

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

具有零同态的三阶Morita Context环(英文)

进一步将二阶Morita Context环上的部分性质推广到了三阶Morita Context环上.设O=[R C E A S F B D T]是三阶Morita Context环,证明了:1)O是π-正则的(或半Clean的、Exchange的、Potent的、GM-环)当且仅当R、S和T也是该类环;2)O是左Morphic环当且仅当R、S、T是左Morphic的,且A=B=C=D=E=F=0.     

模态R0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.     

(LO)BG的两种分解

令S∈(LO)BG,在S上定义二元关系:xRy当且仅当存在a,b∈S,使得x,y∈aSb且x=x0yx0,y=y0xy0.证明了η=Rt是S上的一个幂等元纯的正规密码群并半群同余.在此基础上,利用格林关系和同余的方法证明了(LO)BG=NBG∨B及(LO)BG=NBG∨(LO)BA     

关于《离散数学》中两个问题的注

1 传递闭包的Warshall算法的矩阵证明本节只讨论有限集X={x_1,…,x_n}上的二元关系R.M_R=[m_(ij)]_(nxn)表示尺的关系矩阵,用G_R表示R的关系图.[1]指出不易从M_R或G_R判断R是否是传递关系.由[2],我们有如下命题1.1 设R是有限集X={x_1,…,x_n}上的二元关系.R是传递的,当且仅当下述条件之一成立:     

Abel环的一些刻画(Ⅳ)

给出了Abel环的几个新刻画:1)设S是环R的非空子集且E(R)■S,则R是Abel环当且仅当对任意a∈R,e∈E(R),ae∈CS(R)蕴涵ea∈CS(R)当且仅当对任意e,g∈E(R),eg∈CS(R)蕴涵ge∈CS(R);2)R为Abel环当且仅当W2(R)是quasi-normal环;3)R为Abel环当且仅当对R的每一个幂等元e,存在唯一的square元u及唯一的幂等元g,使得ue=1+gu.     

S环的Wedderburn—Artin结构

本文讨论了S环的Wedderburn—Artin结构定理和强S环结构。主要结论是: 下列条件对环R是等价的: (1) R是S环;E={x_i|x_i~2=x_i,i=1,…,n}是R的无关集; (2) R是S环又是半素环; (3) R是S环又是Jucobson半单环; (4) R是有限个除环和有限个有限域上全矩阵环的直和。     

结合环上链条件向子环的传递

本文综合讨论了环的升链和降链条件向子环传递的条件。当环R是Noether或Artin环时,子环S在以下三种情形下也是Noether或Artin的:即R是在S上中心地有限生成的;S是交换的,R在S上的有限生成与链条件是同侧的;S是交换的,R在S上的有限生成与链条件是异侧的。     

三角域上B-B曲面和矩形域上B E、ZIER曲面之间的几何连续条件

利用KAHMAN R关于曲面片之间的GC2连续条件得到了 当三角域上B-B曲面已知时,三角域上B-B曲面和矩形域上B　E、ZIER曲面之间的GC2连续条件。     

正则密群上的同余

定义了正则密群S上的同余成分(ξ,ηα)和二元关系ρ(ξ,ηα),证明了(ξ,ηα)是同余成分当且仅当ρ(ξ,ηα)是S上的同余,最后刻划了正则密群上的最小纯正同余。     

Abel环的一些刻画(Ⅱ)

给出Abel环的几个新刻画:1)R为Abel环当且仅当对任意e,g∈E(R),当eg=0时必有ge=0;2)R为Abel环当且仅当对任意e,g∈E(R),有|e∨g|≤3;3)R为Abel环当且仅当对任意e∈E(R),a∈N(R),当ae=0时必有ea=0;4)R为Abel环当且仅当对任意e,g,f∈E(R),当e=gf时必有e=fg.     

关于具有F0—可比性的Exchange环的一个注记

本文证明了下面结论,从而推广了文[4]和文[7]的相应结果设S是exchange环,R是S的exchange子环,I是S的理想满足I(-U)R,则R满足一般的(sH)0-可比性当且仅当(1) R/I满足一般的(sH)0-可比性;(2)自然同态B(R)|→B(R/I)是满射;(3) x2=x∈R,y2=y∈I满足xSy=ySx=0,存在e∈B(R)使得ex=x以及ey=0.     

严格蕴涵系统S3的协调性

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

关于具拟不变测度的线性拓扑空间

§1.引言设R是綫性拓扑空间。在本文中我们始终以β表示由R的某些子集组成的、包含R中一切闭集的最小σ-代数。当B∈β,x∈R时,用B+x表示一切形如y+x,y∈E的向量全体所成的集,即B+x为B经过平移y→y+x,所得的集、那末显然有B+x∈β。设μ是(R,β)上的一个概率测度,B是R的一个子集,B∈β。若μ(B)=0则称B是μ-零