若干证据与真理逻辑的规范化与切割消去定理
逻辑
2024-06-03 v1
摘要
本文研究了证据与真理逻辑LETJ和LETF的证明论方面。这些逻辑分别扩展了Nelson逻辑N和第一级蕴涵逻辑FDE(也称为Belnap-Dunn四值逻辑)，并增加了一个经典性算子，该算子在其作用域内恢复经典逻辑。我们将为LETJ和LETF分别呈现自然演绎系统和矢列系统，并给出规范化定理和切割消去定理的证明。作为推论，我们得到了这两个逻辑的可判定性。
引用
@article{arxiv.2405.20932,
title = {Normalization and cut-elimination theorems for some logics of evidence and truth},
author = {Marcelo E. Coniglio and Martín Figallo and Abilio Rodrigues},
journal= {arXiv preprint arXiv:2405.20932},
year = {2024}
}