论文标题
莱布尼兹的法律和ZFC的paraconsistent模型
Leibniz's law and paraconsistent models of ZFC
论文作者
论文摘要
在本文中，我们为某些paracensistent的理论（PST）提供了完整的模型。这些模型建立在菲德尔语义上，在模型理论意义上，它们是特定的一阶结构。这些结构在文献中被称为F结构，在通用代数意义上不是代数。我们证明了如何通过改编著名的约翰·莱恩·贝尔（John Lane Bell）的书籍给出的证据来展示ZFC的paraconsistent模型；通常，我们在整个作品中都会改编上述书中的证据。
In this paper, we present full models for some Paraconsistent Set Theories (PSTs). These models are built over Fidel semantics where they are specific first-order structures in the sense of Model Theory. These structures are known as F-structures in the literature and they are not algebras in the universal algebra sense. We demonstrate how is possible to present paraconsistent models for ZFC for any of PSTs studied in this paper, by adapting the proofs given on the celebrated John Lane Bell's books; in general, we adapt the proofs in the mentioned book throughout the work.
