关于形式系统L*及R0-代数的若干结果

• 作者: 张小红 王保社
• 来源期刊: 陕西师范大学学报(自然科学版)
• 学科: 数学
• 关键词: 模糊逻辑 形式演绎系统 R0-代数 BCK-代数
• 年，卷（期）: 2003,（3）
• 所属期刊栏目: 专题研究
• 页码范围: 28-31,42
• 页数: 5页
• 分类号: O141.1
• 字数: 2917字
• 语种: 中文
• DOI: 10.3321/j.issn:1672-4291.2003.03.008

摘要

研究了模糊逻辑的形式演绎系统L*及R0-代数的性质,得到形式系统L*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合BCK-代数,并给出关于R0-代数的一个重要反例,说明了R0-代数中V与→是各自独立的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张小红	宁波大学理学院	37	156	6.0	11.0
2	王保社	咸阳师范学院数学系	6	8	1.0	2.0