基于有限格蕴涵代数的格值命题逻辑语法系统

• 作者: 徐扬 秦克云 马骏 高雅
• 来源期刊: 西南交通大学学报
• 学科: 数学
• 关键词: 多值逻辑 逻辑代数 格蕴涵代数
• 年，卷（期）: 2004,（1）
• 页码范围: 90-94
• 页数: 5页
• 分类号: O141.1
• 字数: 4838字
• 语种: 中文
• DOI: 10.3969/j.issn.0258-2724.2004.01.021

摘要

以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学理学院	186	1462	15.0	32.0
2	秦克云	西南交通大学理学院	147	930	15.0	22.0
3	高雅	西南交通大学计算机与通讯工程学院	9	87	5.0	9.0
4	马骏	西南交通大学电气学院	5	48	3.0	5.0