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...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	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.

Subtitle
Publication year:	2005
Obor:	Obecná matematika
Number of pages:	6
Page from:	21
Page to:	26
Form of publication:
ISBN code:	974-615-226-2
ISSN code:
Proceedings title:	Proc. of the 6th International Conference on Intelligent Technologies
Proceedings:
Publisher name:	Faculty of Science and Technology, Assumption University, Bangkok, Thailand
Place of publishing:	Bankgok
Country of Publication:	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ů:	Celosvětová akce
WoS code:
EID:

Key words in English:	Fuzzy type theory; fuzzy logic; L\Pi-logic; BL-logic; Lukasiewicz logic
Annotation in original language:	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.
Annotation in english language:	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.

References

Reference

R01:

Complementary Content

${loading}