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
*
:
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:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules