Filters
Descriptions in Full Fuzzy Type Theory
The fuzzy type theory (FTT) is extended by the description operator whose interpretation is a function which assigns a fuzzy set an element and is thus similar to the defuzzification operation introduced in fuz...
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
From Fuzzy Type Theory to Fuzzy Intensional Logic
In this paper, the concept of fuzzy intensional logic is elaborated based on fuzzy type theory recently presented by the author....
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Towards fuzzy type theory.
The formal type theory is generalized to fuzzy one. The structure of truth values is assumed to be the IMTL-algebra. Some properties of theories of fuzzy type theory are demonstrated and ...
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Fuzzy type theory as higher order fuzzy logic
In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour kinds of fuzzy type theory are presented. This theory is a higher order fuzzy
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Descriptions in the full fuzzy type theory.
In this paper, the fuzzy type theory (FTT) is extended by the description operator. Its interpretation is similar to the defuzzification operation introduced in fuzzy set theory. The full fuzzy
BA - Obecná matematika
- 2003 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Introduction to modelling of natural deduction based on fuzzy type theory
that is based on fuzzy type theory. First the theory for the topic is explained, one of the classical logic systems is chosen (Predicate logic) then introduction to fuzzy logic isgiven and then fuzzy<...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Intermediate quantifiers in partial fuzzy type theory
In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in th...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Higher Order Fuzzy Logic
In the lecture, higher order fuzzy logic (fuzzy type theory) was presented.
BA - Obecná matematika
- 2011 •
- D
Rok uplatnění
D - Stať ve sborníku
Logical Structure of Fuzzy IF-THEN Rules
This paper provides a logical basis for manipulation with fuzzy IF-THEN rules. The theoretical apparatus is based on formal fuzzy type theory....
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
called EQ-algebra in which the basic operation is that of fuzzy equality. Then we introduce axiomatics of a new core fuzzy type theory -IEQ-FTT- and demonstrate how three principal fuzzy type
BA - Obecná matematika
- 2008 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 150 340