Header menu link for other important links
X
GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY
S TARAFDER
Published in Cambridge University Press
2015
Volume: 8
   
Issue: 1
Pages: 192 - 205
Abstract
We generalize the construction of lattice-valued models of set theory due to Takeuti, Titani, Kozawa and Ozawa to a wider class of algebras and show that this yields a model of a paraconsistent logic that validates all axioms of the negation-free fragment of Zermelo-Fraenkel set theory. © Association for Symbolic Logic, 2014.
About the journal
JournalData powered by TypesetReview of Symbolic Logic
PublisherData powered by TypesetCambridge University Press
ISSN1755-0203
Open AccessYes