若干逻辑代系统结构的研究.pdf

摘要 逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机 制的代数基础．BcK／BcI代数是两类逻辑代数，BcI代数是BcK代数的推广． 数范畴同构，剩余格(Residuated 是BcI代数的自然扩张．这些说明BcK／BcI代数是相当广泛的结构．因此，研 究BcK／BcI代数就显得十分重要． 近年来，由于来自理论与应用两个方面的推动，基于T模逻辑系统与对应 的伪逻辑系统的研究成为逻辑领域中备受关注的热点之一，其中基于T模逻辑 系统的研究先于逻辑代数，而伪逻辑代数的发展先于伪逻辑系统．NM代数(凡 代数)与格蕴涵代数皆是基于T模逻辑的代数． 本文主要研究BcK／BcI代数及其扩张NM代数和格蕴涵代数的结构性质． 具体工作如下： 1．引入一类新理想一BcI关联理想的概念，证明了它是BcK代数中关联 理想概念在BcI代数中的自然推广．证明了BcI代数的一个非空子集是BcI关 联理想当且仅当它既是BcI交换理想又是BcI正定关联理想，从而揭示了这三 类理想之间的内在联系，并将BcK代数中知名论断：BcK代数的一个非空子 集是关联理想当且仅当它既是交换理想又是正定关联理想，推广到BcI代数上 FsG理想和一个FuzzyBcI正定关联理想． 2．构造了一类新的商BeK／BcI代数和一类新的有界商BGK代数，利用这种 构造，各类型商BcK／BcI代数可以被相应的nzzy理想／滤子完全刻画，以往的 商构造被Fuzzy理想／滤子刻画时只有充分条件而没有必要条件，因此新构造 弥补了以往构造的不足，比以往的构造更加合理．证明了BcI代数的一个F、lzzy 理想是闭的，当且仅当它是一个nlzzy子代数．指出了在一些重要的BcI代数 类中，任意Fuzzy理想必是闭的． w 要塞皇至型垫盍堂垫圭堂笪堡塞!董士堡堡垡塑墨笙堕塑盟煎窒 给出的定义([36])更简洁更一般化，证明了它具有良好的性质．建立了BcK代 理想刻画了一些BcK代数类． 对Jun—shim—Lele的公开问题给出否定的回答，并给出这个问题有肯定答案的 的相应结果． 4．定义并探讨了BcK代数的非交换推广一伪BcK代数的理想与同余理 论，它们是BcK代数理想与同余理论的非交换推广．建立了伪BcK代数的素理 想定理，从而将Di Nola等人建立的伪BL代数的索滤子定理对偶推广到伪BcK 代数上去，它也是目前为止逻辑代数中最广泛的素理想(滤子)定理之一． 探讨了伪BcK代数与一类量子逻辑(PD一偏序集)之间的联系，从而将 PD一偏序集和D一代数的共同推广． 5．引入了正规‰代数的概念，它是R0代数与Mv代数的共同扩张．引入 了岛代数的正规MP理想的概念，用正规MP理想刻画了正规凰代数．引入了 凰代数的f、lzzyMP滤子的概念，探讨了它的代数性质和水平MP滤子特征。 6提出了一类伪逻辑代数～伪NM代数，它是著名的幂零极小代数～ NM代数(R0代数)的非交换推广，是伪MTL代数的一个真子类．证明了伪NM 代数是一个分配格及伪NM代数类是一个簇．引入并研究了伪NM代数的滤子 理论，证明了由正规滤子诱导的商代数也是一个伪NM代数，建立了伪NM代 数的素滤子定理及其推论等等，这些结果均可看作是NM代数的相应结论的非 交换推广并为研究伪NM逻辑提供代数基础． 7．引进了格蕴涵代数的，LJ一理想和F、lzzy儿，一理想的概念，探讨了它们的 特征性质，用儿，一理想和nlzzy儿J一理想刻画了格H蕴涵代数．进一步探讨 了格蕴涵代数的素￡f一理想的性质，将格蕴涵代数的素Lj一理想nlzzy化，引 进了格蕴涵代数的F【lz巧素L，一理想的概念，并讨论了它的性质．证明了格蕴 涵代数的所有L，一滤子所成的集合构成一个Bro·mrian格、一个伪补分配格和 一个Dedil【iIld格，证明了格蕴涵代数的所有对合￡f一滤子所成的集合构成一个 B001e代数，它们推广了专著【126]中的相应结果． ‰代数格蕴涵代数理想滤子 ABSTRACT the foun出止ionsof medhanismof are fields Logic甜gebrasalgebra