"P(GA201/04/1033), Z(AV0Z10750506)" . "974-615-226-2" . . . . "1"^^ . . . . "21;26" . . . "6"^^ . "Bangkok" . "Fuzzy type theory as higher order fuzzy logic" . "Jsou formulov\u00E1ny fuzzy axiomy, inferen\u010Dn\u00ED pravidla, s\u00E9mankita a dal\u0161\u00ED specifick\u00E9 vlastnosti \u010Dty\u0159 typ\u016F fuzzy typ\u016F. Je uk\u00E1z\u00E1no, \u017Ee se jedn\u00E1 o fuzzy logiku vy\u0161\u0161\u00EDho \u0159\u00E1du pou\u017Eitelno v p\u0159esn\u00FDch formulac\u00EDch dal\u0161\u00EDch teori\u00ED, nap\u0159. v po\u010D\u00EDt\u00E1n\u00ED se slovy, p\u0159ibli\u017En\u00E9mu usuzov\u00E1n\u00ED a dal\u0161\u00EDch."@cs . "Fuzzy type theory as higher order fuzzy logic" . "Teorie fuzzy typ\u016F jako fuzzy logika vy\u0161\u0161\u00EDho \u0159\u00E1du"@cs . "[60A1FC2D50F9]" . . . "Fuzzy type theory as higher order fuzzy logic"@en . "fuzzy type theory; fuzzy logic; LPi-logic; Lukasiewicz logic"@en . "Assumption University of Bangkok" . . "Nov\u00E1k, Vil\u00E9m" . "Phuket" . "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." . . "2005-12-14+01:00"^^ . "Fuzzy type theory as higher order fuzzy logic"@en . "RIV/67985556:_____/05:00026349!RIV06-AV0-67985556" . . "Teorie fuzzy typ\u016F jako fuzzy logika vy\u0161\u0161\u00EDho \u0159\u00E1du"@cs . . . "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."@en . "RIV/67985556:_____/05:00026349" . . . . . "Proceedings ot fhe 6th International Conference on Inteligent Technologies" . "1"^^ . "522351" .