Vlastnosti matematických teorií ve formální fuzzy logice
Popis výsledku
Plně fuzzifikovaný přístup k fuzzy matematice spočívá v budování axiomatických teorií nad vhodnými systémy fuzzy logiky. Vlastnosti formální fuzzy logiky, zvláště neplatnost logického zákona kontrakce, způsobují odlišnou podobu takových teorií od klasické matematiky. Článek shrnuje nejdůležotější rozdíly a dává metodologické pokyny pro smysluplné budování nových teorií, definování nových pojmů a dokazování nových vět formální fuzzy matematiky.
Klíčová slova
formal fuzzy logicaxiomatic theoriesthe law of contractionfuzzy mathematicsgraded properties
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Features of Mathematical Theories in Formal Fuzzy Logic
Popis výsledku v původním jazyce
A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in formbetween theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems informal fuzzy mathematics.
Název v anglickém jazyce
Features of Mathematical Theories in Formal Fuzzy Logic
Popis výsledku anglicky
A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in formbetween theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems informal fuzzy mathematics.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2007
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Foundations of Fuzzy Logic and Soft Computing
ISBN
978-3-540-72917-4
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
523-532
Název nakladatele
Springer
Místo vydání
Berlin
Místo konání akce
Cancun
Datum konání akce
18. 6. 2007
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—
Základní informace
Druh výsledku
D - Stať ve sborníku
CEP
BA - Obecná matematika
Rok uplatnění
2007