多少逻辑代数系统结构的研究.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正定关联理想．