理想状态下泛逻辑的形式演绎系统β

作     者：罗敏霞 何华灿 LUO Min-Xia HE Hua-Can(Department of Computer Science & Engineering. Northwestern Polytechnical University , Xian 710072) (Department at Msthematics, Yuncheng University, Yuncheng 044000)

作者机构：西北工业大学计算机科学与工程系 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2004年第31卷第3期

页      面：95-98页

核心收录：

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：中国国家自然科学基金(60273087) 北京市自然科学基金(4032009) 

主　　题：人工智能 专家系统 模糊推理 模糊逻辑 泛逻辑 形式演绎系统 

摘      要：本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。