重访 Dunn-Belnap 逻辑
计算机科学中的逻辑
2022-03-21 v1
摘要
在本文中，我基于给定智能体群体所持有的接受 (acception) 与拒绝 (rejection) 认知态度，为受 Dunn 与 Belnap 的一阶度衍推 () 启发的逻辑引入一种语义。与 原先所用的认知情境不同，这些认知态度并不等同于真值，且它们似乎更适用于那些意图将“被称为真”的命题与“被称为假”的命题的信息内容均作为逻辑有效性概念之决定因素的逻辑。在分析了与所提语义相关的若干逻辑之后，我们引入逻辑 ，其底层衍推关系——-衍推——能够表达涉及接受与拒绝认知态度的多种推理。我们还给出了 的一个可靠且完备的相继式演算。
引用
@article{arxiv.2203.09652,
title = {Revisiting the Dunn-Belnap logic},
author = {Carolina Blasio},
journal= {arXiv preprint arXiv:2203.09652},
year = {2022}
}
备注
Translated by Evelyn Erickson, and revised by Jo\~ao Marcos. This translation was kindly permitted by the editorial office of Manuscrito