首页> 外文期刊>Journal of logic and computation >Reasoning with Contradictory Information using Quasi-classical Logic
【24h】

Reasoning with Contradictory Information using Quasi-classical Logic

机译:使用准经典逻辑对矛盾信息进行推理

获取原文
获取原文并翻译 | 示例
           

摘要

The proof theory of quasi-classical logic (QC logic) allows the derivation of non-trivializable classical inferences from inconsistent information. A non-trivializable, or paraconsistent, logic is, by necessity, a compromise, or weak- ening, of classical logic. The compromises on QC logic seem to be more appropriate than other paraconsistent logics for applications in computing. In particular, the connectives behave in a classical manner. Here we motivate the need for QC logic, present a proof theory, and semantics for he logic, and compare it to other paraconsistent logics.
机译:准古典逻辑(QC逻辑)的证明理论允许从不一致的信息中推导不可平凡的经典推理。不可平凡或超常一致的逻辑必然是对经典逻辑的折衷或削弱。对于计算应用而言,在质量控制逻辑上的折衷似乎比其他超一致逻辑更合适。特别是,连接词以经典方式表现。在这里,我们激发了对QC逻辑的需求,提出了证明理论和逻辑的语义,并将其与其他超常逻辑进行了比较。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号