相干逻辑研究的当代成果和发展趋势

摘要：

@@ 相干逻辑在20世纪20年代被提出来,目的是避免经典数理逻辑和模态逻辑中出现的实质蕴涵怪论和严格蕴涵怪论.蕴涵怪论,如p→(q→p),┐p→(p→q),(p→q)∨(q→r),((p∧q)→r)→(p→r)∨(q→r),(p∧┐p)→q,p→(q→q)等等,虽然是经典逻辑或模态逻辑的定理,但都不能很好地表达有效的推理形式.

机标关键词：相干逻辑、发展趋势

分类号：B81(逻辑学(论理学))

在线出版日期：2007-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：55-60