逻辑系统中重言式及广义重言式的关系

• 作者: 李骏 韦奉岐 马盈仓
• 来源期刊: 纺织高校基础科学学报
• 关键词: 重言式 广义重言式 多值逻辑系统 参数Kleene系统 子代数
• 年，卷（期）: 2001,（1）
• 页码范围: 37-40
• 页数: 4页
• 分类号: O141.1
• 语种: 中文
• DOI: 10.3969/j.issn.1006-8341.2001.01.010

摘要

研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马盈仓	西北纺织工学院 数理系	2	2	1.0	1.0
2	李骏	甘肃工业大学基础科学系	5	54	3.0	5.0
3	韦奉岐	西北纺织工学院 数理系	1	2	1.0	1.0