一种泛逻辑代数系统

• 作者: 何华灿 罗敏霞
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: UB代数 剩余半群 FI代数 MV代数
• 年，卷（期）: 2005,（14）
• 所属期刊栏目: 博士论坛
• 页码范围: 21-22,60
• 页数: 3页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.14.007

摘要

文[3]给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统(),证明了此系统是可靠的.该文提出理想状态下(h=k=0.5)泛逻辑学对应的代数系统-UB代数,给出它的一系列性质.证明了UB代数是一个交换剩余半群;进一步证明了UB代数与MV代数、正规FI代数是等价的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	罗敏霞	运城学院数学系	12	67	3.0	8.0