期刊文章详细信息
逻辑系统中重言式及广义重言式的关系
Relation between tautologies and generalized tautologies in logic systems
文献类型：期刊文章
机构地区：[1]甘肃工业大学基础科学系,甘肃兰州730050 [2]西北纺织工学院数理系,陕西西安710048
年 份：2001
卷 号：14
期 号：1
起止页码：37-40
语 种：中文
收录情况：CAS、CSA、CSA-PROQEUST、IC、RCCSE、SCOPUS、WTA、ZGKJHX、ZMATH、普通刊
摘 要：研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系 .指出了多值逻辑系统中判断公式不是重言式的充分条件 ,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法 .
关 键 词：重言式 广义重言式 多值逻辑系统 参数 Kleene系统 子代数
分 类 号：O141.1[数学类]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
