无否定定义的次协调逻辑
逻辑
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