TA的每日心情 | 开心
2020-8-5 15:09 |
|---|
签到天数: 1 天 [LV.1]初来乍到
|
EDA365欢迎您登录！
您需要 登录 才可以下载或查看，没有帐号？注册
x
摘 要： ＢＲ０代数是一类重要的基础逻辑代数，其中著名的 ＭＶ代数和 Ｒ０代数均是 ＢＲ０代数的特款，因而对 ＢＲ０代数研究结果具有普遍的实用性．首先，通过 ＢＲ０代数中极大并理想的存在性证明了 ＢＲ０代数中素并理想的存 在性；其次，利用对偶范畴的思想方法和 ＭＰ滤子的特征，在 ＢＲ０代数中提出了 ＭＴ理想，极大 ＭＴ理想，素 ＭＴ理想等 概念，讨论了它们的基本性质及相互关系，并通过素并理想构造性的证明了素 ＭＴ理想的存在性；最后，在非退化的 ＢＲ０代数中证明了任何一个真 ＭＴ理想可以扩展为一个极大素 ＭＴ理想．本文的工作是对 ＢＲ０代数研究内容和方法的 有益补充．* O4 K5 E% N7 T- h; x$ B) |" Y# g
Q6 {3 g/ ^) ]9 ~, n" W) {: }' q# @
关键词： 逻辑代数；ＢＲ０代数；素并理想；ＭＴ理想；扩展；素 ＭＴ理想；存在性1 D0 m0 h+ A/ Z# A" Y7 U$ k. V, C
; `/ _' i/ F4 g3 U" j" I: d; [* i: }, W2 Y9 c1 z2 }3 k
( L. q1 f5 Z, ?- @4 g! o 不同的多值逻辑系统对应着不同的多值逻辑代数， 这些逻辑代数结构的建立极大地丰富了代数学的研究 内容和方法（见文献［１～７］）．吴望名教授于文献［２］中 根据经典逻辑代数的共性建立了以蕴涵算子为唯一算 子的模糊蕴涵代数．徐扬教授于文献［３～５］中基于格值 理论建立了个蕴涵代数．ＰＨａｊｅｋ教授于文献［６］中基于 Ｇｄｅｌ代数，ＭＶ代数，乘积代数中的 ｔ模和蕴涵算子的 共性建立了 ＢＬ代数．李洪兴教授于文献［８］中对模糊 模态逻辑中相关蕴涵算子的重言式问题进行了细致的 研究．２０００年王国俊于文献［９～１１］中建立了模糊命题 演算的形式演绎系统 Ｌ和与之相匹配的 Ｒ０逻辑代数． ２００１年，ＦＥｓｔｅｖａ教授等于文献［１２］中基于一种左连续 ｔ模建立了 ＮＭ逻辑和 ＮＭ逻辑代数．吴洪博教授在文 献［１３，１４］中通过对系统 Ｌ和 Ｒ０逻辑代数的研究建立 了 ＢＲ０代数和 ＢＬ系统．文献［１５～２２］从多个方面研究 了与蕴涵算子相关的一些性质．. ^# P# r& j* \5 T& w3 }
5 `+ a& D0 X" H/ D" R" z& q
9 ~7 O n7 i- Q' G附件下载：
$ W5 k6 y( N( y: a% t3 Y$ y. T |
|
/1 
发表于 2021-2-20 10:23
收藏
淘帖
支持！
反对！