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.

S TARAFDER

Fulltext

University of Calcutta (informally known as Calcutta University or CU) is a collegiate public state university located in Kolkata, West Bengal, India.&nbsp;Within India it is recognized as a &quot;Five-Star University&quot; and accredited &quot;A&quot; Grade by National Assessment and Accreditation Council.

&nbsp;

The University of Calcutta has secured the Fifth position among the Universities of India in the prestigious &quot;Indian University Ranking 2019&quot; list, released by the NIRF of the Ministry of Human Resource Development, Government of India.

&nbsp;

It was established on 24 January 1857, and was one of the first institutions in Asia to be established as a multidisciplinary and Western-style university. Its alumni and faculty include several heads of state, heads of government, social reformers, prominent artists, only academy award winner and Dirac medal winner in India, many Fellows of the Royal Society and five Nobel laureates as of 2019 which is highest in South Asia.

University Of Calcutta

Generalized algebra-valued models of set theory

Review of Symbolic Logic

The Review of Symbolic Logic

ORTHOMODULAR-VALUED MODELS FOR QUANTUM SET THEORY

Logic and Its Applications Lecture Notes in Computer Science

Ordinals in an Algebra-Valued Model of a Paraconsistent Set Theory

Logic Journal of IGPL

An alternative approach for quasi-truth

TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY

Studia Logica

Extensionality and Restriction in Naive Set Theory

GENERALIZED ALGEBRA-VALUED MODELS OF SET THEORY

Journal	Data powered by TypesetReview of Symbolic Logic
Publisher	Data powered by TypesetCambridge University Press
ISSN	1755-0203
Open Access	Yes