“中介逻辑”的特征问题
文献类型:期刊论文
作者 | 李祥 ; 李广元 |
刊名 | 科学通报
![]() |
出版日期 | 1988 |
卷号 | 33期号:22页码:1686-1689 |
关键词 | “中介逻辑” 三值逻辑 三值语义 可靠性与完全性 |
合作状况 | 其它 |
中文摘要 | 近来,朱梧槚、肖奚安等同志发表了一个称为“中介逻辑”的形式命题逻辑系统MP(见文献[1,2]及其所附参考文献),引起了国内一些学者与青年学生的注意。朱、肖等同志在系统内做了大量的形式推演而迄今未能给出系统的语义,并就此认定他们的中介逻辑“与通常的三值逻辑或任何多值逻辑系统是不同的”,是“精确性经典数学和未来的、处理模糊现象的不确定数 |
收录类别 | 其他 |
语种 | 中文 |
公开日期 | 2010-05-14 |
源URL | [http://124.16.136.157/handle/311060/1362] ![]() |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | 李祥,李广元. “中介逻辑”的特征问题[J]. 科学通报,1988,33(22):1686-1689. |
APA | 李祥,&李广元.(1988).“中介逻辑”的特征问题.科学通报,33(22),1686-1689. |
MLA | 李祥,et al."“中介逻辑”的特征问题".科学通报 33.22(1988):1686-1689. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。