Filters
Show more
Show more
Show less
Show less
Show less
Show less
Show more
Show more
More filters
Results
Models and submodels of fuzzy theories
The paper studies some aspects of model theory of fuzzy logic in narrow sense with evaluated syntax...
BA - Obecná matematika
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Elements of Model Theory in Higher Order Fuzzy Logic
In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interes...
BA - Obecná matematika
- 2012 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
On Theories and Models in Fuzzy Predicate Logics
by contributing to the model theory of fuzzy predicate logics. First, we generalizen the last few decades many formal systems of fuzzy logics have been developed. Since the main differences between fuzzy ...
BA - Obecná matematika
- 2006 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
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 the completeness s...
BA - Obecná matematika
- 2003 •
- D
Rok uplatnění
D - Stať ve sborníku
Models and submodels of fuzzy theories
This paper is a contribution to the development of the model theory of fuzzy logic in narrow sense with evaluated syntax. Several generalizations of the concept of submodel are defined which have no counterpart in classical...
BA - Obecná matematika
- 2003 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Introduction to modelling of natural deduction based on fuzzy type theory
This paper should serve as an introduction to natural deduction modelling that is based on fuzzy type theory. First the theory for the topic is explained, one isgiven and then fuzzy type theory is...
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
Remarks to Model Theory in Higher-Order Fuzzy Logic
In this contribution, we introduced some basic notions of model theory of FTT such as homomorphism, embedding, elementary equivalence, submodels, etc.....
BA - Obecná matematika
- 2012 •
- D
Rok uplatnění
D - Stať ve sborníku
Fuzzy logic models in some categories
Models of a fuzzy logic in two categories of sets with similarity relations are introduced. Interpretations of formulas in these models are defined and some relations between different interpretations are investigated......
BA - Obecná matematika
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
Are Fuzzy Sets a Reasonable Tool for Modeling Vague Phenomena?
in the formal theory of fuzzy logic. Further direction in the development of fuzzy set theory is also having two facets: uncertainty and vagueness. We argue that fuzzy sets are a reasonable mathematical t...
BA - Obecná matematika
- 2005 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A Fuzzy Logic Model of Detective Reasoning
The paper presents a model of reasoning based on a detective story inspired by one episode from famous TV series about Lt Columbo. It is a demonstration of the power of fuzzy logic in broader sense whose formal frame is fuzzy
BA - Obecná matematika
- 2006 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 196 470