广义Smooth格

作为由Weng所引入的smooth格和Scott紧生成格的推广,引入了广义smooth格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格。

可加广义代数格上的Tietze扩张定理

可加的广义代数格范畴与T0拓扑空间范畴相等价,从这个观点出发,作者把可加广义代数格作为一个闭集格,在其上建立Urysohn引理和Tietze扩张定理．这是拓扑理论在格上的一种新推广,有助于格上拓扑理论的研究和广义连续格理论的应用．

J-子空间格代数上中心化子和广义导子的刻画

设L是Banach空间X上的J-子空间格,AlgL是相应的(J-子空间格代数.设φ:AlgL→AlgL是可加映射,对每个K∈(J)(L),dimK≥2.该文证明了下列表述等价:(1)φ是中心化子;(2)φ满足AB=0■φ(A)B=Aφ(B)=0;(3)φ满足AB+BA=0■φ(A)B+φ(B)A=Aφ(B)+Bφ(A)=0;(4)φ满足ABC+CBA=0■φ(A)BC+φ(C)BA=ABφ(C)+CBφ(A)=0.作为应用,得到AlgL上在零点广义可导的可加映射的完全刻画.

广义代数格的可加性与T_0拓扑

证明广义代数格同构于拓扑空间的闭集格当且仅当它是可加的 ,进而证明可加广义代数格之范畴等价于 T0 拓扑空间之范畴 .因此可加广义代数格在拓扑中可起与传统代数格在代数中相同的作用 .

广义λ-强代数格

引入了广义λ-强代数格及其基的概念,给出了它们的若干重要性质及等价刻划.

完全分配可交换子空间格代数上的非线性广义Lie导子

设AlgL是Hilbert空间H上的一个完全分配可交换子空间格代数,f是AlgL上的非线性广义Lie导子,d是AlgL上与f相关的非线性映射,则f和d分别是可加广义导子和交换子上为零的映射之和。

广义伪效应代数态射的格结构

把伪效应代数间的态射推广到伪效应代数与广义伪效应代数间的态射.研究了格序广义伪效应代数的态射.证明了广义伪效应代数格态射在区间上的限制是伪效应代数格态射.给出广义伪效应代数态射是格态射的一个充要条件.

半Smooth格

该文引入半Smooth格和半Smooth代数格的概念,讨论它们的一些基本性质及与半连续格的关系,证明了完备格L是半Smooth格和半连续格当且仅当L是完全分配格.

拟连续Domain与广义完全分配格(英文)

本文证明了(1)在合适的态射下,拟连续domain范畴与广义完全分配范畴等价;(2)对有界完备的拟连续domain P,(P,σ(P))为极大极限空间.

格值一阶逻辑系统LF(X)中带广义量词的α-归结原理

讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。

格蕴涵代数的(∈,∈∨q_(λ,μ))-模糊滤子

给出了点态化(∈,∈νq_(λ,μ))-模糊滤子和广义模糊滤子的概念,讨论了两者之间的等价关系;得到了(∈,∈νq_(λ,μ))-模糊滤子的若干等价刻画,并研究了其相关性质;讨论了(∈,∈νq_(λ,μ))-模糊滤子的同态像与同态原像的基本性质;最后研究了(∈,∈vq_(λ,μ))-模糊滤子的直积。

有限区间值模糊逻辑代数及其广义重言式

讨论了有限区间值模糊逻辑代数 ,给出了判别其子代数的充要条件 ;并将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限区间值模糊逻辑系统In[0 ,1]中 ,证明了在In[0 ,1]中不存在 [1,1] - 重言式 ,广义重言式不随系统的扩大而增多 。

格效应代数的理想与同态

给出了一些格效应代数的例子,并讨论了其理想.证明了效应代数的一个子集是代数系统E的一个极大效应代数理想,也是E的一个格理想当且仅当它是某个同态映射的核.特别地,单态射的像是一个子效应代数.得到了广义效应代数的真理想是一个子广义效应代数,子广义效应代数也是一个真理想.

R_0-代数中的广义相对零化子

首先,利用滤子的扩张方法在R_0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R_0-代数中广义相对零化子仍是滤子;其次,利用广义相对零化子刻画素滤子,并讨论相对零化子与广义相对零化子的关系;最后,基于R_0-代数中的两个给定元,给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.

关于几种格类代数系及其关系

介绍了格、坡、分配伪格、广义分配伪格等几种格类代数系,讨论其性质及相互之间的关系,得到若干格类代数系的性质及其关系的一些结论.

Stone表现定理与广义空间理论

Ｓｔｏｎｅ表现定理揭示了格论与拓扑空间理论之间的深刻联系，该定理表明可以从纯代数的角度出发而得到若干不同类型的拓扑空间，并可用格论的方法与技巧对拓扑空间的特性进行研究，从而得出关于拓扑学中带有普遍意义的结论。广义空间理论就是沿此方面而诞生的新学科。拓扑分子格理论则是与此相关的又一新学科。

命题逻辑中非子句α-有序线性广义归结方法

为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。

广义半Smooth格

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。

格蕴涵代数(∈,∈∨_(q(λ,μ)))-模糊子代数

本文从以下几个方面对格蕴涵代数的(∈,∈∨q(λ,μ))-模糊子代数进行了详细的研究。首先给出了点态化的(∈,∈∨q(λ,μ))-模糊子代数和广义模糊子代数的概念,讨论了两者之间的等价关系;其次给出了(∈,∈∨q(λ,μ))-模糊子代数的一些等价刻画,并研究了其相关性质;再次讨论了(∈,∈∨q(λ,μ))-模糊子代数的同态像与同态原像的基本性质;最后还研究了(∈,∈∨q(λ,μ))-模糊子代数的直积。

格蕴涵代数的(∈,∈∨_(q(λ,μ)))-模糊LI-理想

对格蕴涵代数的(∈,∈∨q(λ,μ))-模糊LI-理想进行了详细的研究,主要内容涉及以下几个方面。我们首先给出了(∈,∈∨q(λ,μ))-模糊LI-理想和广义模糊LI-理想的概念,讨论了两者之间的关系;其次给出了(∈,∈∨q(λ,μ))-模糊LI-理想的一些等价刻画,并研究了其相关性质;最后还讨论了(∈,∈∨q(λ,μ))-模糊LI-理想的同态像与同态原像的基本性质。