局部有限 BL-代数的素逆演绎系统及性质

在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。     

双重Stone代数的素理想与同余性质

对于双重Stone代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文用P(L)的子集刻划了双重Stone代数L的每一个同余关系,由此给出了双重Stone代数L关于次直不可约双重Stone代数的次直积表示和双重Stone代数的次直不可约类,并证明了Con(L)可以嵌入到XP(L)中。     

MS-代数的同余核

讨论同余关系θ的唯一性,其中θ是MS-代数L的以理想I为核的同余关系,主要结果有:(1)分别是L的同余核,d1≥d,如果以(d]为核的同余关系是唯一的,则以(d1]为核的同余关系是唯一的.(2)在商代数L/θ中,给出([d]]是同余核的充分必要条件.     

弱MTL代数的演绎系统与同余关系的对应定理

通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。     

Stone代数的素理想与同余关系

用Ｓｔｏｎｅ代数的素理想集刻划了Ｓｔｏｎｅ代数的每一个同余关系，并证明了Ｃｏｎ（Ｌ）可以嵌入于Ｚ（Ｐ（Ｌ））中。由此证得了Ｓｔｏｎｅ代数的同余扩张性，并给出了Ｓｔｏｎｅ代数的同余理想用素理想集刻划的表达式     

SM-代数的素理想与同余关系

用SM-代数的素理想集刻划了SM-代数的每一个同余关系.在此基础上得到了次直不 可约SM-代数类的结构.     

一种弱BL形式演绎系统及其商代数理论

弱化了BL的条件,提出了弱BL形式演泽系统,详细研究了弱BL中经常用到的性质定理。研究了一种同余关系极其商代数理论;提出了商代教中的模糊滤子概念,详细研究了模糊滤子的性质定理。     

BL-代数的严格滤子

引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤子与整滤子、素滤子等的关系。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

BL-代数的严格滤子

引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是G¨odel代数。揭示了严格滤子与整滤子、素滤子等的关系。     

MS-代数的主同余关系的注记

研究MS代数的主同余关系的可补性,给出了MS代数的主同余关系是可补的充要条件。     

BL-代数的v-滤子

将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究了BL-代数的v-滤子与滤子之间的关系.     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0,b）及θ（a,1）的一个新的刻划,利用这个刻划,得到理想I=（d]是同余理想的充要条件,从而断定L的同余理想只能是正则理想．     

关于PMS-代数的同余格的一点注记

分别给出了Stone代数和PMS-代数中主同余关系的其它一些特征.特别地,证明了PMS-代数(S;∨,∧,*,,0,1)的同余格与所含MS-代数(S;∨,∧,,0,1)的同余格是一致的.     

∧结合BCI-代数的性质

本文确立了A结合BCI-代数的若干性质。     

关于有限状态机最小化理论的一个注记

对有限状态机的最小化理论进行了研究,提出了原机器M与其最小机器M′之间还存在一种更近的关系,即同余关系.为机器M与M′构造相关的代数系统,证明了二者之间存在同余关系.阐述了同余关系对系统描述的意义,为应用有限状态机简化复杂过程提供了进一步的理论依据.     

BL-代数的余零化算子及其BL同态像

通过在BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出BL-代数的一个子集是多点余零化算子像的充要条件;研究多点余零化算子BL同态像的性质并分别给出余零化算子的BL同态像和余零化算子的BL同态原像是余零化算子像的充要条件.     

MS-代数的一类主同余关系

讨论了MS-代数的主同余关系的性质，当a=a^00或b=b^00时给出了MS-代数的主同余关系θ(a，6)的一个新的表达式．     

GV－逆半群的局部化及应用

证明了ＧＶ－逆半群Ｓ在其正则元集合ＫｅｇＳ所生成的子半群（ＲｅｇＳ）上的局部化在同构意义下存在唯一，且为其最大群同态象。由此又可得到Ｓ的最小群同余．     

Stone代数的理想和同余关系

分别给出了L（L是一个Stone代数）的理想I为核的最大同余关系及最小同余关系的充分必要条件,得到一个Stone代数是W－Stone代数的充分必要条件。