A development of set theory in fuzzy logic

  • Authors:
  • Petr Hájek;Zuzana Haniková

  • Affiliations:
  • Institute of Computer Science, 182 07 Praha 8, Czech Republic;Institute of Computer Science, 182 07 Praha 8, Czech Republic

  • Venue:
  • Beyond two
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents an axiomatic set theory FST ('Fuzzy Set Theory'), as a first-order theory within the framework of fuzzy logic in the style of [4]. In the classical ZFC, 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 the nontriviality of FST. We give the axioms of FST. Finally we show that FST interprets ZF.