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 * : Fuzzy Type Theory As Higher Order Fuzzy Logic
Citace : Novák, V. Fuzzy Type Theory As Higher Order Fuzzy Logic. In: Proc. of the 6th International Conference on Intelligent Technologies. Bankgok: Faculty of Science and Technology, Assumption University, Bangkok, Thailand, 2005. Faculty of Science and Technology, Assumption University, Bangkok, Thailand, 2005. s. 21-26. ISBN 974-615-226-2.
Podnázev :
Rok * : 2005
Obor * : Obecná matematika
Počet stran * : 6
Strana od * : 21
Strana do * : 26
Forma vydání * :
Kód ISBN * : 974-615-226-2
Kód ISSN :
Název sborníku * : Proc. of the 6th International Conference on Intelligent Technologies
Sborník :
Název nakladatele * : Faculty of Science and Technology, Assumption University, Bangkok, Thailand
Místo vydání * : Bankgok
Stát vydání : Sborník vydaný v zahraničí
Název konference : The Sixth International Conference on Intelligent Technologies
Místo konání konference * : Phuket, Thailand
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; fuzzy logic; L\Pi-logic; BL-logic; Lukasiewicz logic
Popis v původním jazyce * :
In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of four kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.
Popis v anglickém jazyce * :
In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of four kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.
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}