学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
S型超协调逻辑中的一项重大研究突破——评张金成《逻辑及数学演算中的不动项与不可判定命题》
被引:1
作者
:
论文数:
引用数:
h-index:
机构:
何华灿
机构
:
[1]
西北工业大学计算机学院
来源
:
智能系统学报
|
2014年
/ 9卷
/ 04期
关键词
:
数学;
命题;
超协调逻辑;
经典逻辑;
标准逻辑;
金成;
D O I
:
暂无
中图分类号
:
O141.1 [命题演算、谓词演算、类演算];
学科分类号
:
070104 ;
010104 ;
010105 ;
摘要
:
<正>1一个"平凡人"的不平凡贡献1)"S型超协调逻辑"是我国学者张金成自创的一种逻辑,与它最接近的系统有巴西的"次协调逻辑"、美国的"不协调逻辑"和澳大利亚的"R型超协调逻辑",不同的是他们都是通过直接约束矛盾律的有效使用范围来包含"无害矛盾",而张金成是在坚持排斥"逻辑矛盾"的同时,直接把"辩证矛盾"作为逻辑系统的研究对象,其"数理辩证逻辑"的指向更加明确。张金成的论文《逻辑及数学演算中的不动项与不可判定命题》(以下简称为《张文》)是在S型超协调逻辑基础上的一项重大研究突破,取得
引用
收藏
页码:511 / 514
页数:4
相关论文
未找到相关数据
未找到相关数据