三值逻辑

作品数：130被引量：209H指数：7
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：金翊汪鹏君毛宇光姚从军沈云付更多>>
相关机构：上海大学宁波大学南京大学南京航空航天大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金浙江省自然科学基金国家社会科学基金浙江省公益性技术应用研究计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=世界哲学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
应用于人工智能的逻辑学被引量：1
《世界哲学》1997年第2期41-50,20,共11页Ｒ．特纳 蔡曙山 
关键词：人工智能 经典逻辑 时间逻辑 三值逻辑 非标准逻辑 直觉主义逻辑 机器人 模态逻辑 公理模式 程序语言 
卢卡西维茨对逻辑的贡献
《世界哲学》1986年第1期37-39,共3页科塔本斯基 王路 
波兰逻辑发展的最近一个时期的杰出人物是卢卡西维茨,他是特瓦多斯基的学生,后来继承和发展了皮尔士、耶芳斯(Jevons)、施罗德(Schr(?)der)、弗雷格、罗素和怀特海,维拉蒂(Vailati)、库蒂拉(Couturat)和西欧其他逻辑泰斗的成就。他首先...
关键词：命题演算 亚里士多德逻辑 公理系统 模态逻辑系统 三段论公理 斯多葛派 弗雷格 多值逻辑系统 三值逻辑 怀特海 
论三值逻辑被引量：1
《世界哲学》1983年第6期45-45,共1页J.卢卡西维茨 陈银科 
亚里士多德逻辑,由于假定每个命题或是真的或是假的,因而只区分出两种逻辑值:真和假。如果用1、0、=和<分别作为真、假、恒等和蕴涵的符号,我们可从下面的原则和定义,推出亚氏逻辑的全部规律。Ⅰ.值假的恒等原则、值真的恒等原则和...
关键词：三值逻辑 逻辑值 亚里士多德逻辑 原则 恒等 逻辑系统 蕴涵 真假值 逻辑规律 命题 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部