Relational compositions in 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_____%2F09%3A00324098" target="_blank" >RIV/67985807:_____/09:00324098 - isvavai.cz</a>
Alternative codes found
RIV/61988987:17610/09:A0900KX9
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Relational compositions in Fuzzy Class Theory
Original language description
We present a method for mass proofs of theorems of certain forms in a formal theory of fuzzy relations and classes. The method is based on formal identification of fuzzy classes and inner truth values with certain fuzzy relations, which allows transferring basic properties of sup-T and inf-R compositions to a family of more than 30 composition-related operations, including sup-T and inf-R images, pre-images, Cartesian products, domains, ranges, resizes, inclusion, height, plinth, etc. Besides yielding alarge number of theorems on fuzzy relations as simple corollaries of a few basic principles, the method provides a systematization of the family of relational notions and generates a simple equational calculus for proving elementary identities between them, thus trivializing a large part of the theory of fuzzy relations.
Czech name
Skládání relací v Teorii fuzzy tříd
Czech description
V článku je představena metoda hromadného dokazování pro jisté formy vět ve formální teorii fuzzy relací a fuzzy tříd, založená na formálním ztotožnění fuzzy tříd a vnitřních pravdivostních hodnot s určitými fuzzy relacemi. To umožňuje přenést základní vlastnosti sup-T a inf-R produktů fuzzy relací na více než 30 příbuzných operací, včetně sup-T a inf-R obrazů, vzorů a kartézských součinů, levých a pravých oborů fuzzy relací, inkluze a výšky fuzzy tříd atd. Tato metoda navíc umožňuje systematizaci tétorodiny relačních pojmů a generuje jednoduchý kalkul pro odvozování identit mezi těmito pojmy, čímž významně zjednodušuje velkou část teorie fuzzy relací.
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
<a href="/en/project/KJB100300502" target="_blank" >KJB100300502: Formal theories of mathematical structures with vagueness</a><br>
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
2009
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
160
Issue of the periodical within the volume
8
Country of publishing house
NL - THE KINGDOM OF THE NETHERLANDS
Number of pages
32
Pages from-to
—
UT code for WoS article
000264740400002
EID of the result in the Scopus database
—