Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

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 vydání:	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.

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}