Models for a paraconsistent set theory
type: Item
instance of: scholarly article
title: Models for a paraconsistent set theory
zbMATH Open document ID: 1063.03040
author: Thierry Libert
published in: Journal of Applied Logic
publication date: 2005-05-04T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 2165043
zbMATH Keywords: Naive set theory
zbMATH Keywords: Topological models
zbMATH Keywords: Paraconsistent logic
MaRDI profile type: Publication
full work available at URL: j.jal.2004.07.010
OpenAlex ID: W2075364971
cites work: A Cook's Tour of the Finitary Non-Well-Founded Sets
cites work: Q4857386
cites work: Q3992552
cites work: Solving reflexive domain equations in a category of complete metric spaces
cites work: Q4709250
cites work: Natural 3-valued logics—characterization and proof theory
cites work: Q4717366
cites work: Q3032252
cites work: The simple consistency of a set theory based on the logic CSQ
cites work: Q3032251
cites work: Paraconsistency: Towards a tentative interpretation
cites work: A strong model of paraconsistent logic
cites work: Saving the truth schema from paradox
cites work: Toward useful type-free theories. I
cites work: The consistency problem for positive comprehension principles
cites work: A general construction of hyperuniverses
cites work: Q4067100
cites work: Q3778015
cites work: Naive set theory with extensionality in partial logic and in paradoxical logic
cites work: Positive abstraction and extensionality
cites work: ZF and the axiom of choice in some paraconsistent set theories
cites work: Q5755186
cites work: Non-well-founded sets modeled as ideal fixed points
cites work: Q4841568
cites work: The logic of paradox
cites work: A note on naive set theory in LP
cites work: Q4342078
DOI: 10.1016/J.JAL.2004.07.010
description: scientific article; zbMATH DE number 2165043