Please use this identifier to cite or link to this item:
Type: Artigo
Title: Twist-valued models for three-valued paraconsistent set theory
Author: Carnielli, Walter A.
Coniglio, Marcelo E.
Abstract: We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory
Subject: Teoria axiomática dos conjuntos
Country: Polônia
Editor: Uniwersytet Mikolaja Kopernika/Wydawnictwo Naukowe
Rights: Aberto
Identifier DOI: 10.12775/LLP.2020.015
Date Issue: 2020
Appears in Collections:IFCH - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
1012775LLP2020015.pdf524.15 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.