广义重言式

作品数：58被引量：245H指数：11
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：陈图云吴洪博李顺琴王国俊惠小静更多>>
相关机构：辽宁师范大学陕西师范大学延安大学桂林航天工业高等专科学校更多>>
相关期刊：《河南师范大学学报（自然科学版）》《渭南师范学院学报》《云南师范大学学报（自然科学版）》《中国学术期刊文摘》更多>>
相关基金：国家自然科学基金陕西省自然科学基金陕西省科学技术研究发展计划项目广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=纺织高校基础科学学报x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
逻辑系统中重言式及广义重言式的关系被引量：2
《纺织高校基础科学学报》2001年第1期37-40,共4页李骏 韦奉岐 马盈仓 
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系 .指出了多值逻辑系统中判断公式不是重言式的充分条件 ,并对其中一些重要的有限值逻辑系统给出了判断公式是否为重言式的简化方法 .
关键词：重言式 广义重言式 多值逻辑系统 参数 Kleene系统 子代数 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部