2022/10/12 by Aldo Figallo-Orellano, Figallo-Orellano, Aldo
Computer Science · #03C65 #Advanced Algebra and Logic #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.2210.06626
openalex publication_date 2022/10/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.