Poznámka: o redundanci axiomu (A3) v BL a MTL
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F05%3A00405310" target="_blank" >RIV/67985807:_____/05:00405310 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Short Note: On the Redundancy of Axiom (A3) in BL and MTL
Popis výsledku v původním jazyce
In this short note we prove the redundance of axiom (A3) of Hájek's Basic Fuzzy Logic. We also extend this result to Esteva and Godo's logic MTL.
Název v anglickém jazyce
Short Note: On the Redundancy of Axiom (A3) in BL and MTL
Popis výsledku anglicky
In this short note we prove the redundance of axiom (A3) of Hájek's Basic Fuzzy Logic. We also extend this result to Esteva and Godo's logic MTL.
Klasifikace
Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/IAA1030004" target="_blank" >IAA1030004: Matematické základy inference s vágností a nejistotou</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2005
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 periodika
Soft Computing
ISSN
1432-7643
e-ISSN
—
Svazek periodika
9
Číslo periodika v rámci svazku
-
Stát vydavatele periodika
DE - Spolková republika Německo
Počet stran výsledku
1
Strana od-do
942
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—