具有 syncategorematic 否定与模态的布尔连接逻辑的公理化
逻辑
2024-03-20 v2
摘要
本文研究了三类扩展的布尔连接逻辑。其中两类是模态和非模态布尔连接逻辑的扩展，具有在任意数量否定下封闭的性质。剩余一类是模态布尔连接逻辑的扩展，具有在去模态化函数下封闭的性质。在我们的工作中，我们提供了上述性质和公理模式的正式表述，使我们能够将其纳入 Hilbert 风格演算中。所提出的公理系统提供了可靠性、完备性和可判定性的证明。否定和去模态化下的封闭性质源于对否定和模态连接词的 syncategorematic 观点，本文对此进行了讨论。
引用
@article{arxiv.2401.10056,
title = {Axiomatization of Boolean Connexive Logics with syncategorematic negation and modalities},
author = {Tomasz Jarmuzek and Jacek Malinowski and Aleksander Parol and Nicolo Zamperlin},
journal= {arXiv preprint arXiv:2401.10056},
year = {2024}
}