冯棉 . 论相干逻辑的研究方法[J]. 华东师范大学学报(哲学社会科学版), 2008 , 40(6) : 58 -62, 91 . DOI: 10.16382/j.cnki.1000－5579.2008.06.011
相干逻辑的形式系统组成一个逻辑家族，这些逻辑系统的共同点是：坚持演绎推理的相干性，拒斥“结论的推导未实际使用前提”的推理方式。相干系统的分类建构与可拆分，为相干推理和判定问题的深入研究提供了平台。相干逻辑采用多种技术手段，证明了“相干原理”等一系列元定理，用以揭示相干蕴涵的逻辑特性和排除形形色色的“蕴涵怪论”。相干语义理论内涵丰富，而直观的信息论解释，不仅细致地描述了三元关系语义的理论背景，也为相干逻辑在信息论和人工智能领域的应用展示了广阔的前景。
| 1 | Goble, L., "Neighborhoods for Entailment", Journal of Philosophical Logic32, 2003, p486, pp. 514–515. |
| 2 | Dunn, J.M. and Restall, G., "Relevance Logic", in D.M. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. 6, 2002, pp. 86–98. |
| 3 | 冯棉 1993, 相干与衍推逻辑. 上海人民出版社, 86- 149. 86–87, 128–132, 148–149 |
| 4 | Dunn, J.M. and Restall, G., "Relevance Logic", in D.M. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. 6, 2002, pp. 86–98. |
| 5 | Dunn, J.M. and Restall, G., "Relevance Logic", in D.M. Gabbay and F. Guenthner (eds), Handbook of Philosophical Logic, Vol. 6, 2002, pp. 86–98. |
| 6 | Anderson, A.R., Belnap, N.D., Jr. and Dunn, J.M., Entailment: The Logic of Relevance and Necessity, Vol. Ⅱ, 1992, pp. 348–375. |
| 7 | 冯棉 1993, 相干与衍推逻辑. 上海人民出版社, 86- 149. 86–87, 128–132, 148–149 |
| 8 | Routley, R. and Meyer, R.K., "The Semantics of Entailment –Ⅱ", Journal of Philosophical Logic1, 1972, pp. 53–73. |
| 9 | Routley, R. and Meyer, R.K., "The Semantics of Entailment –Ⅲ", Journal of Philosophical Logic1, 1972, pp. 192–208. |
| 10 | Routley, R. and Meyer, R.K., "The Semantics of Entailment", in H. Leblanc (ed), Thuth, Syntax and Modality, 1973, pp. 199–243. |
| 11 | Restall, G., An Introduction to Substructural Logics, 2000, pp. 238–265. |
| 12 | Mares, E.D., "Relevant Logic and the Theory of Information", Synthese109, 1997, pp. 345–360. |
/
| 〈 |
|
〉 |
国家社会科学基金学术期刊资助入选期刊