伪BCK代数与粗伪BCK代数及其滤子理论

伪BCK代数与粗伪BCK代数及其滤子理论

论文摘要

逻辑代数是计算机科学、信息科学、控制论与人工智能等许多领域推理机制的代数基础.伪BCK代数是著名逻辑代数BCK代数的非可换推广.研究伪BCK代数的各种不同类型的伪滤子可以深入刻画伪BCK代数的结构.近年来,把粗糙集理论、超结构理论应用到代数结构上进行研究成为逻辑领域中的热点之一.本文就是在这些研究工作的基础上进行的,主要研究伪BCK代数及其滤子理论,同时引入粗伪BCK代数,超伪BCK代数等概念并研究相关性质.本文的主要内容与创新点包括如下:(1)通过引入NP-型偏序集的概念,分析阶数不超过6的真伪BCK代数的序结构特点,并从单点集{1}出发得到所有阶数不超过6的NP-型偏序集.在此基础上计算得到所有非同构的阶数不超过6的真伪BCK代数.(2)通过引入伪R0蕴涵,强伪De Morgan代数等概念,研究伪De Morgan代数和伪对合伪BCK代数,伪正则剩余格之间的关系.(3)引入1-型正关联伪BCK代数、1-型正关联伪滤子等概念,给出并证明了1-型正关联伪BCK代数的刻画定理.(4)提出粗伪BCK代数、粗伪滤子等概念并研究相关性质,同时讨论了可诱导真粗伪BCK代数的相关性质.(5)提出超伪BCK代数的概念并研究相关性质,同时通过引入超伪滤子的概念,研究超伪BCK代数的刻画定理.最后,对R. A. Borzooei的公开问题给出了否定的回答.

论文目录

  • 摘要
  • Abstract
  • 引言
  • 1 基础知识
  • 1.1 偏序集
  • 1.2 剩余格
  • 1.3 伪 BCK 代数
  • 2 低阶真伪 BCK 代数
  • 2.1 预备知识
  • 2.2 阶数不超过 3 的真伪 BCK 代数
  • 2.3 关于 NP-型偏序集
  • 2.4 阶数不超过 6 的真伪 BCK 代数
  • 3 强伪De Morgan 代数和伪对合伪 BCK 代数
  • 3.1 预备知识
  • 3.2 强伪 De Morgan 代数
  • 3.3 由伪 De Morgan 代数导出的伪 BCK 代数和剩余格
  • 3.4 低阶的伪 De Morgan 代数和伪对合伪 BCK 代数
  • 4 伪 BCK 代数的伪滤子及粗伪 BCK 代数
  • 4.1 伪 BCK 代数的伪滤子和同余理论
  • 4.2 由正规伪滤子诱导的同余及商代数
  • 4.3 关于 1-型正关联伪 BCK 代数和 1-型正关联伪滤子
  • 4.4 阶数不超过 6 的正关联真伪 BCK 代数
  • 4.5 粗伪 BCK 代数与粗伪滤子
  • 4.6 伪 BCK 代数近似空间上的粗伪 BCK 代数和粗伪滤子
  • 4.7 阶数不超过 6 的可诱导真粗伪 BCK 代数
  • 5 超伪 BCK 代数及其滤子理论
  • 5.1 预备知识
  • 5.2 超伪 BCK 代数
  • 5.3 超伪 BCK 代数的超伪滤子
  • 5.4 超伪 BCK 代数上的同余和商结构
  • 5.5 超 BCC 代数的一个公开问题的解答
  • 6 结论
  • 6.1 本文研究工作综述
  • 6.2 需要进一步研究的问题
  • 参考文献
  • 附录A 第四章的程序
  • 附录B 第五章的程序
  • 附录C 五阶、六阶真伪 BCK 代数的运算表
  • 附录D 阶数不超过8 的真伪对合伪 BCK 代数的Hasse 图和运算表
  • 附录E 六阶1-型正关联真伪BCK 代数
  • 附录F 六阶可诱导真粗伪BCK 代数
  • 附录G 四阶优超BCC 代数的运算表
  • 在学研究成果
  • 致谢
  • 相关论文文献

    • [1].一般三次方程的代数解[J]. 红河学院学报 2020(02)
    • [2].Hom-Malcev代数的表示[J]. 高师理科学刊 2019(03)
    • [3].第44届符号与代数计算国际研讨会在北航举办[J]. 电子世界 2019(16)
    • [4].一类H-伪代数的构造(英文)[J]. Journal of Southeast University(English Edition) 2017(04)
    • [5].拓扑效应代数[J]. 山东大学学报(理学版) 2017(10)
    • [6].套代数上的一类非线性可交换映射的刻画[J]. 数学的实践与认识 2017(18)
    • [7].C~*-代数A上的左模的半双线性型的稳定性[J]. 数学学报(中文版) 2016(01)
    • [8].以代数思维引领解题[J]. 数学通讯 2019(23)
    • [9].珠心算与“数与代数”教学融合的研究[J]. 文理导航(下旬) 2020(08)
    • [10].关于初中代数推理的理解与教学思考(续)[J]. 中学数学教学参考 2020(14)
    • [11].凸显本质,发展代数思维——“方程的意义”教学实践与思考[J]. 小学教学研究 2020(13)
    • [12].字母代数[J]. 数学小灵通(1-2年级版) 2020(11)
    • [13].字母代数[J]. 数学小灵通(1-2年级版) 2019(04)
    • [14].从算术思维到代数思维的跋涉之旅——代数思维的早期渗透研究(一)[J]. 数学学习与研究 2019(24)
    • [15].探索复习策略 提高课堂效率——例谈农村中学初三代数复习增效的主要策略[J]. 中学数学研究(华南师范大学版) 2018(04)
    • [16].代数结论几何应用[J]. 数理化解题研究 2016(03)
    • [17].你是我的代数,我的情[J]. 人生十六七 2016(09)
    • [18].字母代数[J]. 数学小灵通(1-2年级版) 2016(11)
    • [19].字母代数[J]. 数学小灵通(1-2年级版) 2015(Z1)
    • [20].字母代数[J]. 数学小灵通(1-2年级版) 2015(05)
    • [21].字母代数[J]. 数学小灵通(1-2年级版) 2012(11)
    • [22].培养学生代数思维意识的途径[J]. 教学月刊小学版(数学) 2011(04)
    • [23].走进奇妙的代数世界[J]. 初中生世界 2020(41)
    • [24].信息系统诱导的信息代数[J]. 吉林大学学报(理学版) 2016(03)
    • [25].割圆型单点扩张代数[J]. 成都航空职业技术学院学报 2015(01)
    • [26].“数与代数”教学中代数思维的融入与渗透[J]. 家长 2019(13)
    • [27].如何在算术教学中也教授代数思维[J]. 江苏教育 2013(33)
    • [28].早期代数思维的培养:小学阶段“数与代数”教学的应有之义[J]. 江苏教育 2013(33)
    • [29].坡代数中L-理想的若干范畴性质[J]. 模糊系统与数学 2013(06)
    • [30].代数跟几何的有机结合[J]. 辅导员 2011(17)

    标签:;  ;  ;  ;  ;  

    伪BCK代数与粗伪BCK代数及其滤子理论
    下载Doc文档

    猜你喜欢