BR0代数中的＊理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.

正则FBR_0-代数的弱t-模及其应用

吴望名教授建立的FI-代数(模糊蕴涵代数)是重要的基础逻辑代数,且通过弱化WBR0-代数建立的FBR0-代数与FI-代数有相同的代数结构。对FBR0-代数进行了较细致的研究。首先,证明了正则的FBR0-代数与RBR0-代数有相同的代数结构;其次,讨论了正则FBR0代数中弱t-模的基本性质;最后,给出了正则FBR0-代数的弱t-模表示形式。