Walter Carnielli
University of Campinas
Marcelo E. Coniglio
University of Campinas
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.
Keywords Paraconsistent set theory  Boolean-valued models  axiomatic set theory  twist structures  logics of formal inconsistency  three-valued paraconsistent logics  Leibniz's Law
Categories (categorize this paper)
DOI 10.12775/llp.2020.015
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 69,018
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

View all 12 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Finitely Many-Valued Paraconsistent Systems.Roman Tuziak - 1997 - Logic and Logical Philosophy 5:121-127.
Heyting-Valued Interpretations for Constructive Set Theory.Nicola Gambino - 2006 - Annals of Pure and Applied Logic 137 (1-3):164-188.
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
N-Valued Maximal Paraconsistent Matrices.Adam Trybus - 2019 - Journal of Applied Non-Classical Logics 29 (2):171-183.
Truth and the Liar in De Morgan-Valued Models.Hannes Leitgeb - 1999 - Notre Dame Journal of Formal Logic 40 (4):496-514.
Self-Extensional Three-Valued Paraconsistent Logics.Arnon Avron - 2017 - Logica Universalis 11 (3):297-315.


Added to PP index

Total views
3 ( #1,352,641 of 2,498,502 )

Recent downloads (6 months)
1 ( #426,098 of 2,498,502 )

How can I increase my downloads?


My notes