Features of Mathematical Theories in Formal Fuzzy Logic

  • Authors:
  • Libor Běhounek;Petr Cintula

  • Affiliations:
  • Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 187 02 Prague 8, Czech Republic;Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 187 02 Prague 8, Czech Republic

  • Venue:
  • IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in form between theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems in formal fuzzy mathematics.