论文信息 - GENERAL LOGICAL FORMALISM FOR FUZZY MATHEMATICS : METHODOLOGY AND APPARATUS ∗

GENERAL LOGICAL FORMALISM FOR FUZZY MATHEMATICS : METHODOLOGY AND APPARATUS ∗

There is a programme in the formal foundations of fuzzy mathematics proposed by the authors, the goal of which is to encompass a large part of existing fuzzy mathematics within a general logical formalism. This paper presents the methodology behind this programme and reviews the technical aspects of a particular apparatus for this enterprise.

P. Cintula | L. Behounek

[1] Richard B. White,et al. The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz , 1979, J. Philos. Log..

[2] U. Höhle. Fuzzy real numbers as Dedekind cuts with respect to a multiple-valued logic , 1987 .

[3] Satoko Titani,et al. Fuzzy logic and fuzzy set theory , 1992, Arch. Math. Log..

[4] Siegfried Gottwald,et al. Fuzzy sets and fuzzy logic: the foundations of application - from a mathematical point of view , 1993, Artificial intelligence.

[5] Petr Hájek,et al. Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[6] Petr Hájek,et al. A development of set theory in fuzzy logic , 2003 .

[7] V. Em,et al. On fuzzy type theory , 2004 .

[8] Petr Cintula,et al. From fuzzy logic to fuzzy mathematics: A methodological manifesto , 2006, Fuzzy Sets Syst..