OU Portal
  • Log In
  • Welcome
  • Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
{}
Zavřít
Publikační činnost


preloading...   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 * : Introducing Subtypes in Fuzzy Type Theory
Citace : Novák, V. Introducing Subtypes in Fuzzy Type Theory. In: 19th Czech-Japan seminar on Data Analysis and Decision Making: Proc. 19th Czech-Japan seminar on Data Analysis and Decision Making 2016-09-05 Matsumoto. Osaka: Osaka University, 2016. s. 42-51.
Podnázev :
Rok * : 2016
Obor * : Obecná matematika
Počet stran * : 10
Strana od * : 42
Strana do * : 51
Forma vydání * : Paměťový nosič
Kód ISBN * :
Kód ISSN :
Název sborníku * : Proc. 19th Czech-Japan seminar on Data Analysis and Decision Making
Sborník : Mezinárodní
Název nakladatele * : Osaka University
Místo vydání * : Osaka
Stát vydání : Sborník vydaný v zahraničí
Název konference : 19th Czech-Japan seminar on Data Analysis and Decision Making
Místo konání konference * : Matsumoto
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; type theory; EQ-algebra
Popis v původním jazyce * :
Fuzzy type theory (FTT) is a higher-order fuzzy logic that generalizes classical type theory (TT). Recall that the latter was established over 100 years ago by B. Russel. Its formalism was later well elaborated by A. Church and L. Henkin. In this theory, each formula A of the type \alpha is interpreted by some function. It was proved that FTT is complete w.r.t. general models. In some applications it is necessary to express syntactically also partial functions The solution (known also in TT) is to introduce the, so called, subtypes. In this paper we elaborate a new kind of fuzzy type theory extended by subtypes and prove completeness.
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:

© 2019 Centre for Information Technology

  • Technická podpora :
  • Mgr. Olga Blahutová (phone: +420 597 091 129, phone flap for UO: 1129)
  • Ing. Lucie Svitaneková (phone: +420 597 091 108, phone flap for UO: 1108)
Complementary Content
  • ${title}${badge}
${loading}