BR0代数中的理想及其诱导的商代数-江西师范大学学报.PDFVIP

37 3 ( ) Vol． 37 No． 3 第 卷第 期 江西师范大学学报 自然科学版 20 13 5 Journal of Jiangxi Normal University (Natural Science) May 20 13 年 月 文章编号:1000-5862 (20 13)03-0221-04 BR * 0 代数中的 理想及其诱导的商代数 * ， 牛超慧 吴洪博 ( ， 7 10062) 陕西师范大学数学与信息科学学院 陕西西安 摘要: BR * ， BR * 、 * 、 * 、 通过在 代数中引入了新的运算 首先定义了 代数中的 理想 素 理想 生成 理想 极 0 0 * ， ; ， ( )* 1 ， 1 大 理想 并研究了对应理想的一些性质 其次 通过 素 理想构造出 个同余关系 并证明了 个 BR ( )BR ． 0 代数在该同余关系下的商代数还是 全序 0 代数 关键词: ;BR ;* ; * ; * ; 逻辑代数 0 代数 理想 素 理想 极大 理想 商代数 中图分类号:O 14 1． 1 文献标志码:A 了1 个BR ( 0 代数在该同余关系下的商代数还是 全 )BR ． BR 0 引言 序 0 代数 本文的研究结果是对 0 代数研究内 容的一个有益补充． 逻辑代数作为模糊命题逻辑系统的语义理论已 ． 1 基本知识 形成一个重要的代数分支和研究方向 早期的逻辑 Gdel 、 、MV 代数有 逻辑代数 乘积逻辑代数 代数 ［1-5］ 1 (M ，(， ， ))(1，2 ，2 ) ， 等 ． 1998 ，P． Hájek 3 定义 设 ∨ → 是 型代数 年 经过对 种逻辑代数结构 M (M ， ) ， ［4］ 3 如果 上有偏序≤使 ≤ 为有界分配格 ∨是 的分析和总结在文献 中以 种代数为特例建立 关于序 ，