中文

无否定定义的次协调逻辑

逻辑 2022-04-15 v2

摘要

次协调性通常被定义和/或刻画为爆炸原理的失效。各种标准形式的爆炸涉及一个或多个逻辑算子或联结词,其中否定算子最为常见。本文探讨否定算子对于描述次协调性是否不可或缺。换言之,是否可能描述一种独立于联结词的子协调性概念?我们提出两种此类无否定的次协调性概念:一种完全独立于联结词,另一种使用我们称之为“融合”的类合取二元联结词。我们还由前者导出“准否定”概念,并研究其性质。

关键词

引用

@article{arxiv.2112.00357,
  title  = {Negation-Free Definitions of Paraconsistency},
  author = {Sankha S. Basu and Sayantan Roy},
  journal= {arXiv preprint arXiv:2112.00357},
  year   = {2022}
}

备注

In Proceedings NCL 2022, arXiv:2204.06359