Speaker Guy Gildor

Title: A Development of Set Theory in Fuzzy Logic

Abstract: We present an axiomatic set theory FST ("Fuzzy Set Theory"), as a first-order theory in the framework of Fuzzy Logic. We use a construction similar to that of a Boolean-valued universe - over an algebra of truth values of the logic we use - to show that FST is not trivial. We further show that FST interprets ZF.