Filters
From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto
of fuzzy mathematics can be characterized as Henkin-style higher-order fuzzy logic on H'ajek's methodology in fuzzy logic, which enable us to follow closely, with the layers of formal fuzzy
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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
Fuzzy logic with fuzzy quantifiers
The aim of this paper is to introduce the first-order fuzzy logic with fuzzy quantifiers. A general model of fuzzy quantifiers is defined and several examples are presented. A structure of fuzzy q...
BA - Obecná matematika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
Fuzzy logic with fuzzy quantifiers
The aim of this presentation is to introduce the first-order fuzzy logic with fuzzy quantifiers. A general model of fuzzy quantifiers is defined and several examples are presented. A structure of fuzzy...
BA - Obecná matematika
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
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 l...
BA - Obecná matematika
- 2005 •
- D
Rok uplatnění
D - Stať ve sborníku
Mathematical fuzzy logic in modeling of natural language semantics
This chapter contains an overview of some achievements in the modeling of semantics of some parts of natural languages using the calculus of mathematical fuzzy logic, namely the higher order one. In the second part, we brie...
BA - Obecná matematika
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
On Virtues of Many-Valued (Fuzzy) Type Theories
In this paper, we deal with the fuzzy type theory (FTT) --- a higher-order fuzzy logic. There are several kinds of this logic depending on the chosen structure of truth values. Higher-order (f...
BA - Obecná matematika
- 2010 •
- D
Rok uplatnění
D - Stať ve sborníku
Fuzzy logic with extensional fuzzy quantifiers: syntax and semantics
The aim of this presentation is to define (limited and unlimited) extensional fuzzy quantifiers and then to introduce the syntax and semantics of the first-order fuzzy logic with such extensional fuzzy qua...
BA - Obecná matematika
- 2006 •
- A
Rok uplatnění
A - Audiovizuální tvorba
Characteristic morphisms and models of fuzzy logic in a category of sets with similarities
A notion of fuzzy sets in a categopry of sets with simuilarity relations is introduced and an interpretation of first order fuzzy logic by using such fuzzy sets in investigated....
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
Characteristic morphisms and models of fuzzy logic in a category of sets with similarities
A notion of fuzzy sets in a categopry of sets with simuilarity relations is introduced and an interpretation of first order fuzzy logic by using such fuzzy sets in investigated....
BA - Obecná matematika
- 2007 •
- C
Rok uplatnění
C - Kapitola v odborné knize
- 1 - 10 out of 188 589