bibtype	C - Conference Paper (international conference)
ARLID	0026349
utime	20240103181244.1
mtime	20060120235959.9
title (primary) (eng)	Fuzzy type theory as higher order fuzzy logic
specification	page_count 6 s.
serial	ISBN 974-615-226-2 title Proceedings ot fhe 6th International Conference on Inteligent Technologies page_num 21-26 publisher place Bangkok name Assumption University of Bangkok year 2005
title (cze)	Teorie fuzzy typů jako fuzzy logika vyššího řádu
keyword	fuzzy type theory
keyword	fuzzy logic
keyword	LPi-logic
keyword	Lukasiewicz logic
author (primary)	ARLID cav_un_auth*0101170 name1 Novák name2 Vilém institution UTIA-B fullinstit Ústav teorie informace a automatizace AV ČR, v. v. i.
COSATI	12A
cas_special	project project_id GA201/04/1033 agency GA ČR country CZ ARLID cav_un_auth*0005777 research CEZ:AV0Z10750506 abstract (eng) In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of zour 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. abstract (cze) Jsou formulovány fuzzy axiomy, inferenční pravidla, sémankita a další specifické vlastnosti čtyř typů fuzzy typů. Je ukázáno, že se jedná o fuzzy logiku vyššího řádu použitelno v přesných formulacích dalších teorií, např. v počítání se slovy, přibližnému usuzování a dalších. action ARLID cav_un_auth*0203012 name InTech'05 /6./ place Phuket dates 14.12.2005-16.12.2005 country TH reportyear 2006 RIV BA permalink http://hdl.handle.net/11104/0116614 arlyear 2005 mrcbU63 Proceedings ot fhe 6th International Conference on Inteligent Technologies 974-615-226-2 21 26 Bangkok Assumption University of Bangkok 2005