BZ-代数的空符

一、BZ-代数的零化子（论文文献综述）

邹宇晰^[1]（2017）在《基于BL-代数的几类代数结构的研究》文中认为基本逻辑（Basic logic）是一类典型的非经典逻辑,它是所有基于连续三角模的命题演算系统的公共基础.BL-代数是作为基本逻辑的代数语义被提出的.它不仅为基本逻辑提供了一个代数框架,也为研究[0,1]区间上的连续三角模提供了代数方法.本文研究BL-代数上的零化子,超BL-代数,以及与BL-代数相关的一类部分代数-效应代数上的monadic算子.进一步完善了BL-代数上的理想理论,并为研究部分代数提供了新的方法.研究的主要内容如下:第二章研究了 BL-代数上的零化子.首先,引入并研究了BL-代数上零化子与与广义零化子.证明了 BL-代数L的理想格（I（L）,（?））是一个伪补格,且对每一个理想I,它的伪补元就是I的零化子I⊥.其次,研究了零化子的同态像与同态原像,给出了零化子的同态像与同态原像成为零化子的充分必要条件.此外,引入了 E（I）= {x ∈ L|（?）i ∈ I,i⊥（?）x⊥},证明了当L是一个BL-链的有限乘积时,（E（I（L））,AE,∨E,E（0）,E（L））是一个 Brouwerian格,以及一个代数格.最后,引入并研究了 BL-代数的（相对）对合理想,证明了全体（相对）对合理想之集可构成一个BL-代数.第三章引入并研究了超BL-代数.首先,建立了超BL-代数的公理化系统,使得超BL-代数是BL-代数的合理推广,并给出了一些超BL-代数的非平凡例子以及它的性质.其次,给出了超滤子与超推理系统的概念,讨论了它们之间的关系.进一步定义了极大超滤子与极大超推理系统,证明了每一个真超滤子（超推理系统）都包含在一个极大超滤子（超推理系统）中.此外,引入了超同余的定义,证明了当θ是一个正则相容同余时,商集L/θ构成了一个超BL-代数.当θ是一个好的正则同余关系时,商集L/θ构成了一个MV-代数.最后,在超BL-代数上引入sup-Bosbach态与sup-Riecan态,举例说明不是每一个超BL-代数都存在sup-Bosbach态与sup-Riecan态.证明了当超BL-代数是对合的时,每一个sup-Bosbach态都是一个sup-Riecan态.第四章研究了 monadic效应代数.首先,建立效应代数上存在量词的公理化系统,由存在量词引出monadic效应代数的概念.将任意量词作为存在量词的对偶形式给出.其次,提出了相对完备子代数的概念,证明了存在量词与相对完备子代数一一对应.接下来,引入了 monadic理想,monadic Riesz理想,monadic Riesz同余的概念,给出了 monadic理想的生成公式.证明了在所有monadic Riesz同余构成的格与所有monadic Riesz理想构成的格之间存在一个序同构.此外,引入强存在量词的概念,证明了当I是一个Riesz理想且（?）是一个强存在量词时,商代数（E/I,（?）I）是一个强monadic效应代数.进一步,刻画了 monadic理想,并得到在（E,（?））上的所有monadic理想构成的格与（?）E上的所有理想构成的格之间存在一个格同构.最后,通过整体运算部分化,与部分运算整体化,讨论了 monadic BL-代数与monadic效应代数之间的关系.

周亚兰,蒲义书^[2]（2004）在《右对合广群中L-Fuzzy子广群与L-FuzzyBCI-型理想》文中研究表明在右对合广群中引入L-Fuzzy子广群与L-FuzzyBCI-型理想,推广了一系列BCK（BCI）-代数中的L-Fuzzy子代数与L-FuzzyBCI-型理想的有关性质.

陈露,蒲义书^[3]（2004）在《右对合广群中的零化子》文中进行了进一步梳理在右对合广群中引入零化子的概念,研究了它的基本特性,获得了某些类似于BCI-代数和BZ-代数中零化子的结果,并举出若干反例,揭示了3者之间的相异之处。

岳振才^[4]（2003）在《BZ-代数的零化子》文中研究说明将BCK BCI＿代数的零化子概念推广到BZ＿代数中,给出BZ＿代数零化子的若干基本性质,举反例说明了BZ＿代数中零化子一般不是理想.

二、BZ-代数的零化子（论文开题报告）

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

三、BZ-代数的零化子（论文提纲范文）

（1）基于BL-代数的几类代数结构的研究（论文提纲范文）

（2）右对合广群中L-Fuzzy子广群与L-FuzzyBCI-型理想（论文提纲范文）

（3）右对合广群中的零化子（论文提纲范文）

四、BZ-代数的零化子（论文参考文献）

• [1]基于BL-代数的几类代数结构的研究[D]. 邹宇晰. 西北大学, 2017(03)
• [2]右对合广群中L-Fuzzy子广群与L-FuzzyBCI-型理想[J]. 周亚兰,蒲义书. 喀什师范学院学报, 2004(06)
• [3]右对合广群中的零化子[J]. 陈露,蒲义书. 宝鸡文理学院学报(自然科学版), 2004(03)
• [4]BZ-代数的零化子[J]. 岳振才. 汉中师范学院学报(自然科学), 2003(06)

标签：代数论文;  数学论文;