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

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

摘要

以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统.研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统"有效性"的可判定性并给出了判定算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学应用数学系	186	1462	15.0	32.0
2	秦克云	西南交通大学应用数学系	147	930	15.0	22.0
3	马骏	西南交通大学应用数学系	5	48	3.0	5.0