中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
“中介逻辑”的特征问题

文献类型:期刊论文

作者李祥 ; 李广元
刊名科学通报
出版日期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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。