量词模态逻辑的代数语义学(Ⅱ)——关于含Barcan公式的正规模态系统的情形

在本文中,我们讨论了六个具有Barcan公式的正规量词模态系统K+BF,K4+BF,T(D)+BF,T+BF,S4+BF及B~*的代数语义,并通过建立它们的Kripke语义与代数语义的单方面联系,从它们的Kripke语义完全性得出了它们的代数语义完全性.这种方法,至少对研究具有Barcan公式的正规量词模态系统的代数语义完全性而言,有相当的一般性.     

改进的代数体函数的正规增长定理

主要讨论了涉及Borel例外小函数(亚纯函数)的代数体函数的正规增长性,通过建立的特征函数间的相互关系及亚纯函数的正规增长定理,得到了关于Borel例外小函数的代数体函数的正规增长定理,进一步改进了有关文献的结论.     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

本质正规算子的迹类算子扰动

本文利用ＢＤＦ定理以及构造技巧证明了关于本质正规算子的Ｐｅａｒｃｙ－Ｓａｌｉｎａｓ定理．作为此定理的应用，证明了本质正规算子可以通过迹类算子的小扰动成为不可约算子．     

基于左连续伪T-模的非可换模糊逻辑系统PUL*

对P．Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL~*,证明了它的可靠性定理．同时,以PUL~*系统的Lindenbaum代数结构为背景引入PUL~*-代数概念,建立了相应的滤子理论,得到PUL~*-代数的正规素滤子定理,借此证明了PUL~*系统的完备性．     

Pontrjagin空间上算子集合的两个稠密性定理

Ｋａｐｌａｎｓｋｙ稠密性定理￣［１］是ｖｏｎＮｅｕｍａｎｎ代数和Ｃ￣＊代数理论中一个基本而重要的定理。算子代数中许多深刻的结果都是以此为工具导出的。要在不定度规空间上探讨算子代数的性质，人们自然会关心在这类空间上是否存在同一类型的结果。本文的主要目的就是在Ｐｏｎｔｒｊａｇｉｎ空间上给出一个相应的稠密性定理。同时，我们还将给出关于完全正则自共轭算子的另一个稠密性的结果。     

相对假补格上的量词运算

如所周知,Boole代数可看作对古典二值命题演算进行抽象所得代数系统。作为古典一目谓词演算及古典狭谓词演算的代数抽象则有一元Boole代数及多元Boole代数的理论。后者已由Halmos在一系列题为《代数逻辑》的论文中加以发展。对于各种非古典演算,建立相应的抽象代数理论也是可能的。Tarski和McKinsey等已对某些著名的非古典命题演算进行了此类研究,并由之解决了相应演算的语义完全性问题。例如,对于Heyting的直觉主义演算,相应的代数为Brouwer代数或其对偶──     

代数体函数与其导数的唯一性

通过研究代数体函数的分担值和分支点之间的关系,得到一个关于代数体函数与其导数具有公共值的唯一性定理,将Gundersen和Mues-Steinmetz关于亚纯函数与其导数的一个唯一性定理推广到代数体函数.     

参态逻辑

提出参态逻辑,给出它的语言、语义和公理系统,并给出参态逻辑的完全性定理,论证了参态逻辑具有足够丰富的形式能力,可表达很大一类逻辑而作为其特殊形式.     

可换逻辑的代数语义综述

主要介绍九种可换逻辑的语义系统,它们是布尔代数,MV-代数,BL-代数,MTL-代数,剩余格,Hoops,半Hoops,EQ-代数和相等代数,并给出相应的例子.进而结合作者的工作介绍了这些代数系统在概率、格序群和拓扑中的研究进展,同时给出如下看法:布尔代数是经典逻辑;从代数角度讨论了经典逻辑与模糊逻辑的区别.最后给出值...     

覆盖曲面的不等式及其应用

本文运用改良Ａｈｌｆｏｒｓ的覆盖曲面定理，首先精确了Ｔｓｕｊｉ的二个不等式．然后用几何方法导出了一个相当广泛的正规定理．它以著名的Ａ．Ｂｌｏｃｈ正规定理及Ｐ．Ｍｏｎｔｅｌ正规定理为特例．     

基础R0-代数与基础L*系统

研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数，以及：Petr Hajek建立的模糊命题演算系统BL和BL-代数，提出了基础R0-代数和基础L^*系统的观点，讨论了基础L^*代数与BL代数，基础L^*系统与BL系统之间．的相互关系及相对独立性，讨论了基础L^*系统关于基础风一代数的完备性问题，证明了MV-代数是特殊的基础R0-代数，指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张，最后作为基础R0-代数与基础L^*系统的一个应用，证明了L^*系统关于语义Ωw的完备性，并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试．     

覆盖曲面定理与代数体函数的重值

本文改进了Ｔｓｕｊｉ著名的球面有限连通覆盖定理,应用它建立了关于涉及代数体函数重值的基本不等式,并由此导出了有限正级代数体函数涉及其重值的充满圆序列及Ｂｏｒｅｌ方向的精确结果．     

模p子系上的同余关系

本文运用ｋ次剩余理论以及关于素模同余式解数的Ｌａｇｒａｎｇｅ定理，将模ｐ缩系上Ｗｉｌｓｏｎ定理和Ｗｏｌｓｔｅｎｈｏｌｍｅ定理推广到它的子系上，得到一系列有趣的对模ｐ、模ｐ２的同余关系．最后，举ｐ＝１７的例子说明其各子系中的同余关系     

三角Hopf代数表示范畴上的代数结构

Ｙｕ．Ⅰ．Ｍａｎｉｎ［５］在范畴上引入各种代数结构，但没有进行深入的研究．本文在三角Ｈｏｐｆ代数的表示范畴上进行系统的研究，在此范畴上的Ｌｉｅ代数与Ｈｏｐｆ代数之间建立了重要的联系，主要结果有：（１）三角Ｈｏｐｆ代数表示范畴上Ｌｉｅ代数的包络代数是此范畴上的Ｈｏｐｆ代数；（２）三角Ｈｏｐｆ代数表示范畴上Ｌｉｅ双代数结构可唯一扩张为其包络代数的余Ｐｏｉｓｓｏｎ－Ｈｏｐｆ代数结构．因而推广了Ｍ．Ｅ．Ｓｗｅｅｄｌｅｒ的经典结果与Ｖ．Ｇ．Ｄｒｉｎｆｅｌｄ的一个重要定理．     

关于连续偏序集的一个刻画定理(英文)

本文给出了连续偏序集的一个刻画定理及相应的代数偏序集刻画定理.进一步得出连续偏序集P关于其Scott拓扑是局部紧的,而且OFilt(P)是一个domain.这推广了关于dcpo的对应结果.     

分次环的有限正规扩张

本文研究了群分次环的有限正规分次扩张问题．利用经典环论方法，得到一个群分次环与其有限正规分次扩张环之间关于分次Jacobson根和分次素根的关系，同时，给出了分次情形的Cutting down定理和Lying over定理．     

赋值图的张量代数的同构问题

本文给出关于赋值图的张量代数的同构定理,并讨论了赋值图的几何性质和其张量代数的代数性质之间的关系.     

Banach空间中渐近正则的Lipschitz半群的不动点定理

本文首先定义了渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的概念．其次，证明了ｐ一致凸Ｂａｎａｃｈ空间中渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的不动点定理．同时也证明了具有正规结构系数的一致凸Ｅａｎａｃｈ空间中的渐近正则的Ｌｉｐｓｃｈｉｔｚ半群的一个新的不动点定理．