《计算机工程与科学杂志》发表论文赏析
作者:牛超慧,吴洪博
单位:(陕西师范大学数学与信息科学学院,陕西 西安 710062)
摘要:吴望名教授建立的FI-代数(模糊蕴涵代数)是重要的基础逻辑代数, 且通过弱化WBR0-代数建立的FBR0-代数与FI-代数有相同的代数结构。对FBR0-代数进行了较细致的研究。首先,证明了正则的FBR0代数与RBR0-代数有相同的代数结构; 其次,讨论了正则FBR0代数中弱t-模的基本性质; 最后,给出了正则FBR0代数的弱t-模表示形式。
关键词:逻辑代数,正则FBR0-代数,RBR0-代数,伴随对,弱t模,
基金资助:国家自然科学基金资助项目(11171196)