Fuzzy Class Theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F05%3A00405252" target="_blank" >RIV/67985807:_____/05:00405252 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Fuzzy Class Theory
Original language description
The paper introduces a simple, yet powerful axiomatization of Zadeh's notion of fuzzy set, based on formal fuzzy logic. The presented formalism is strong enough to serve as foundations of a large part of fuzzy mathematics. Its essence is elementary fuzzyset theory, cast as two-sorted first-order theory over fuzzy logic, which is generalized to simple type theory. We show a reduction of the elementary fuzzy set theory to fuzzy propositional calculus and a general method of fuzzification of classical mathematical theories within this formalism. In this paper we restrict ourselves to set relations and operations that are definable without any structure on the universe of objects presupposed; however, we also demonstrate how to add structure to the universe of discourse within our framework.
Czech name
Teorie fuzzy tříd
Czech description
V článku je zavedena jednoduchá, ale silná axiomatizace Zadehova pojmu fuzzy množiny, založená na formální fuzzy logice. Předložený formalismus je dostatečně bohatý na to, aby se mohl stát formálním základem značné části fuzzy matematiky. Jeho podstatouje elementární teorie fuzzy množin, vybudovaná jako dvousortová teorie prvního řádu nad fuzzy logikou; ta je dále zobecněna na jednoduchou teorii typů. Ukazujeme redukci této elementární teorie fuzzy množin na fuzzy výrokový počet a obecnou metodu fuzzifikace klasických matematických teorií v našem formalismu. V článku se omezujeme na ty množinové relace a operace, jež jsou definovatelné bez odkazu na strukturu universa objektů; ukazujeme však také, jak dodatečnou strukturu universa diskursu v našem formalismu definovat.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
—
Volume of the periodical
154
Issue of the periodical within the volume
-
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
22
Pages from-to
34-55
UT code for WoS article
—
EID of the result in the Scopus database
—