OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
Error:
Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu
*
:
stať ve sborníku (D)
Domácí pracoviště
*
:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název
*
:
Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense
Citace :
Novák, V. Principal Fuzzy Type Theories for Fuzzy Logic in Broader Sense.
In:
IPMU 08 Proceedings.
Malaga: University of Malaga, 2008. University of Malaga, 2008. s. 1045-1052. ISBN 978-84-612-3061-7.
Podnázev :
Rok
*
:
2008
Obor
*
:
Obecná matematika
Počet stran
*
:
8
Strana od
*
:
1045
Strana do
*
:
1052
Forma vydání
*
:
Kód ISBN
*
:
978-84-612-3061-7
Kód ISSN :
Název sborníku
*
:
IPMU 08 Proceedings
Sborník :
Mezinárodní
Název nakladatele
*
:
University of Malaga
Místo vydání
*
:
Malaga
Stát vydání :
Sborník vydaný v zahraničí
Název konference :
Information Proseccisng and Management of Unicertainty in Knowledge-Based Systems IPMU 08
Místo konání konference
*
:
Torremolinos (Málaga)
Datum zahájení konference
*
:
Typ akce podle státní
příslušnosti účastníků akce
*
:
Celosvětová akce
Kód UT WoS :
EID :
Klíčová slova anglicky
*
:
Fuzzy type theory; EQ-algebra;residuated lattice; fuzzy logic
Popis v původním jazyce
*
:
In this paper, we briefly discuss the concept of fuzzy logic in broader sense and its present stage of development. Furthermore, we introduce a special algebra called EQ-algebra in which the basic operation is that of fuzzy equality. Then we introduce axiomatics of a new core fuzzy type theory -IEQ-FTT- and demonstrate how three principal fuzzy type theories, namely IMTL- , Lukasiewicz, and BL- can be derived from it.
Popis v anglickém jazyce
*
:
Typ zdroje financování výsledku
*
:
Projekty CEP/Záměry CEZ
Seznam projektů :
ID Projektu
Název projektu
Seznam ohlasů :
Ohlas
R01:
RIV/61988987:17610/08:A1000Q9E
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules