Descriptions in the full fuzzy type theory

Neural Network World

Volumn 13, Issue 5, 2003, Pages 559-569

  Novák, Vilém ^a,b  

^a UNIVERSITY OF OSTRAVA   (Czech Republic)

^b INSTITUTE OF INFORMATION THEORY AND AUTOMATION   (Czech Republic)

Author keywords

Deffuzzification; Description operator; Fuzzy logic; Fuzzy type theory; Type theory

Indexed keywords

FUNCTIONS; MATHEMATICAL OPERATORS; PROBLEM SOLVING; THEOREM PROVING;

DEFUZZIFICATION; DESCRIPTION OPERATOR; FUZZY TYPE THEORY;

FUZZY SETS;

EID: 0142227809     PISSN: 12100552     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (11)

1. Andrews P.: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof. Kluwer, Dordrecht, 2002.
2. Church A.: A formulation of the simple theory of types. J. Symb. Logic, 5, 1940, pp. 56-68.
3. Esteva F., Godo L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems, 124, 2001, pp. 271-288.
4. Hájek P.: Metamathematics of fuzzy logic. Kluwer, Dordrecht, 1998.
5. Hájek P., Haniková Z.: A Development of Set Theory in Fuzzy Logic. In: Fitting, Orlowska (Eds.), More than two: Theory and Applications of Many-valued Logic, Physica-Verlag, Heidelberg, 2003, pp. 273-285.
6. Henkin L.: Completeness in the theory of types. J. Symb. Logic, 15, 1950, pp. 81-91.
7. Henkin L.: A theory of propositional types. Fundameta Math., 52, 1963, pp. 323-344.
8. Novák V.: Fuzzy Sets and Their Applications, Adam Hilger, Bristol, 1989.
9. Novák V.: On Fuzzy Type Theory. Fuzzy Sets and Systems (submitted).
10. Novák V., I. Perfilieva (Eds.): Discovering the World With Fuzzy Logic. Springer-Verlag, Heidelberg 2000, (Studies in Fuzziness and Soft Computing, Vol. 57).
11. Novák V., Perfilieva I., Močkoř J.: Mathematical Principles of Fuzzy Logic. Kluwer, Boston/Dordrecht, 1999.