首页 | 本学科首页   官方微博 | 高级检索  
   检索      


Measuring coherence using LP-models
Authors:Carlos A Oller
Institution:

Facultad de Pilosofa y Letras, Universidad de Buenos Aires, Argentina

Abstract:This paper introduces a technique for measuring the degree of (in)coherence of inconsistent sets of propositional formulas. The coherence of these sets of formulas is calculated using the minimal models of those sets in G. Priest's Logic of Paradox. The compatibility of the information expressed by a set of formulas with the background or domain knowledge can also be measured with this technique. In this way, Hunter's objections to many-valued paraconsistent logics as instruments for measuring (in)coherence are addressed.
Keywords:Paraconsistent logics  Many-valued logics  (In)consistency measures
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号