da Costa meets Belnap and Nelson
da Costa meets Belnap and Nelson
复制标题
达科斯塔会见贝尔纳普和纳尔逊
DOI：
10.1007/978-3-319-06080-4_11
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
Hitoshi Omori and Katsuhiko Sano
中科院分区：
文献类型：
--
作者：
Minghui Ma;Katsuhiko Sano;Francois Schwarzentruber and Fernando R. Velazquez-Quesada;Katsuhiko Sano and Hitoshi Omori;Hitoshi Omori and Katsuhiko Sano
有各种方法来开发一个系统的次协调逻辑，和那些我们在本文中集中的方法的da Costa，贝尔纳普，和纳尔逊。我们的主要焦点是da Costa，我们处理的系统反映了da Costa的想法。我们知道，达科斯塔的主要思想是，在系统内，明确你可以进行古典推理的领域。本文的目的有三个方面。首先，我们引入并给出了一个经典性算子的一些结果，它推广了形式不一致逻辑的一致性算子。其次，我们证明了我们可以引入经典算子到Belnap系统。第三，我们证明了我们可以将上面的经典算子推广到纳尔逊系统。本文给出了系统的证明理论和语义，并建立了一些完备性定理。
There are various approaches to develop a system of paraconsistent logic, and those we focus on in this paper are approaches of da Costa, Belnap, and Nelson. Our main focus is da Costa, and we deal with a system that reflects the idea of da Costa. We understand that the main idea of da Costa is to make explicit, within the system, the area in which you can infer classically. The aim of the paper is threefold. First, we introduce and present some results on a classicality operator which generalizes the consistency operator of Logics of Formal Inconsistency. Second, we show that we can introduce the classicality operator to the systems of Belnap. Third, we demonstrate that we can generalize the classicality operator above to the system of Nelson. The paper presents both the proof theory and semantics for the systems to be introduced, and also establishes some completeness theorems.