完备弱可补格的同模分类

讨论了完备弱可补格按关于谓词演算的同模分类问题,给出了原子的完备弱可补格与二元布尔代数同模的充要条件以及一类分组格与特殊的分组格C_k同模的充要条件.     

可補格按恒I式集分类的問題Ⅰ.

本文讨论可补格的一种分类问题,它是由于考虑多值逻辑的判定问题而引起的。(正文中谈到了问题的逻辑来源。) 一个具有最小元O及最大元I的格L,如果在其中又定义了一个单值的1元运算“′”能适合O′=I,I′’=O,则称L为一可补格,一个命题演算良构式A(设只含命题连接词A,V,～),如果命它的变数在L中任意取值且将A,V,～分别解释为L中的运算∩,U,′时,A永远得到值I,则称A为L上的恒I式,当两个可补格L_1,L_2上的恒I式集相同时,称L_1,L_2为同型的,本文就是讨论可补格按同型关系分类的问题,所得结果如下: 定理设有限可补格L_2适合条件:(C),存在一良构式A(x,y)能使则任一可补格L_1与L_2同型的一个充分必要条件是: (A_1).存在一个由L_1的子可补格到L_2上的同态对应φ,并且, (A_2).对L_1中每一ξ≠I,都存在一个由L_1到L_2内的同态对应φ_ξ能使φ_ξ(ξ)≠I。     

布尔代数和补模格的特征

本文给出了一个格是布尔代数或补模格的充分必要条件。定义1.若L是一个格,有最大元1和最小元○。对a∈L若赢元素a′∈L存在,使得则称a′是a的一个补元;当L的每个元素都有补元时,称L为有补的格;补格L的每个元只有一个补元时,称L是有唯一补的格;补格L的每个元都没有两个不同的可以比较的补元     

L (Q)格值模型的初等子模型

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一些性质,如强升和强降L－S－T定理,初等图像在初等扩充下的保持性等。     

格上矩阵的乘积运算性质

本文根据经典格论中的交、并运算的定义,在有补的分配格L上定义了格上的二阶矩阵的乘积运算,并给出了格上矩阵乘积运算的运算性质,得到关于几类特殊格上矩阵的相关结论.     

L(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。     

( )(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.     

(Q)格值模型的省略型定理

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。     

完备格上存在补映射或正统补映射的几个充要条件

设L是一个格,C:L→L是一个映射,且满足条件:(1)?a,b∈L,a≤b?C(b)≤C(a);(2)?a∈L,C(C(a))=a则称C是L上的一个补映射。若C还满足(3):?a,b∈L,a∧b=0?a≤C(b),则称C为L上的正统补映射。无疑地,在有补映射的格上推广一股拓扑学的理论是方便的。本文证明了完备格上存在补映射的几个定理,最后证明     

基于包含度理论的概念格构造方法研究

利用包含度理论定义了一种基于形式背景的算子,证明了包含度取不同值时,该算子可以构造出概念格、补背景概念格、面向属性概念格以及面向对象概念格。从而说明应用包含度理论可将基于形式背景的各种建格问题进行统一描述。     

试论卡普兰斯基的多项式恒等式环与正交模格思想

美国数学家卡普兰斯基主要研究代数学,在环论、模论、群论等代数领域做出了里程碑式的成果。本文通过文献考证和概念分析,重点对卡普兰斯基的两篇抽象代数学代表作进行研究。研究表明:他证明了一个具有多项式恒等式的本原代数在其中心上是有限维的,开创了非交换代数的重要分支;他在模格领域引入"正交"概念,首次将以正交偶为模对的正交补格命名为"正交模格",证明了任何正交补完备模格都是连续几何。     

试论卡普兰斯基的多项式恒等式环与正交模格思想北大核心CSCDCSSCI

美国数学家卡普兰斯基主要研究代数学,在环论、模论、群论等代数领域做出了里程碑式的成果。本文通过文献考证和概念分析,重点对卡普兰斯基的两篇抽象代数学代表作进行研究。研究表明:他证明了一个具有多项式恒等式的本原代数在其中心上是有限维的,开创了非交换代数的重要分支;他在模格领域引入"正交"概念,首次将以正交偶为模对的正交补格命名为"正交模格",证明了任何正交补完备模格都是连续几何。     

映射诱导的拓扑分子格

本文引入“映射诱导的拓扑分子格”这一概念,发展了文献[1]的结果;给出关于映射诱导的拓扑分子格的性质的某些定理,推广了文献[2]、[3]的某些结果.     

正统补映射与完全分配格的构造

文献[1—3]为建立完全分配格上的点式拓扑奠定了基础。[1]中提出的正统补映射是十分重要的概念,完全分配格上特殊的正统补映射的存在性将对格的结构产生重大影响。本文讨论正统补映射与完全分配格的构造之间的关系。     

子半群格是可补格的半群

苏联数学家L.N.Shevrin提出一个公开问题,即描述子半群格可补的半群是否为周期的问题。本文就此给出了部分的解答。     

格内的~＊－关系（Ⅱ）

在文［１］中作者定义了格内的（△~（－１））＊－关系，本文引入了格内元素的弱透视和弱子透视的概念，并讨论了在相对半有朴格、相对有补格和相对原子并格内（△~（－１））＊－关系与弱透视及弱子透视之间的关系，从而给出了在相对半有补格、相对有补格及相对原子并格内（△（－１））＊－关系的一些等价命题。     

环的半格和与补半格和的弱正则性

给出了环的半格和及补半格和的弱正则性的刻画,即若环R是其弱正则子环Rα(α∈Г)的半格和,那么R也是弱正则环;若弱正则环R是其子环Rα(α∈Г)的补半格和,则Rα(α∈Г)都是弱正则环.     

环的半格和与补半格和的弱正则性

给出了环的半格和及补半格和的弱正则性的刻画 ,即若环 R是其弱正则子环 Rα(α∈Γ)的半格和 ,那么 R也是弱正则环 ;若弱正则环 R是其子环 Rα(α∈Γ)的补半格和 ,则 Ra(α∈Γ)都是弱正则环 .     

关于有限余复盖性质的Tychonoff定理

本文证明了拓扑分子格的有限余复盖性质与每个分子网都有聚点是等价的,推广了关于有限余复盖性质的Alexandroff子基定理,证明了有限余复盖性质是任意可乘的。     

一般Boole格的反向积及应用

本文引入了一般Boole格的反向积概念,给出了一般Boole格到反向积的一个基本定理(定理1)。在此基础上,讨论了一般Boole格关于某一合同的合同类之间的关系以及一般Boole格的势与单项幻的势之间的关系等若干问题。