Fuzzy type theory as higher order fuzzy logic

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F05%3A00026349" target="_blank" >RIV/67985556:_____/05:00026349 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Fuzzy type theory as higher order fuzzy logic
Original language description
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.
Czech name
Teorie fuzzy typů jako fuzzy logika vyššího řádu
Czech description
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émuusuzování a dalších.

Project
<a href="/en/project/GA201%2F04%2F1033" target="_blank" >GA201/04/1033: Approximate reasoning and generalized quantifiers</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
Proceedings ot fhe 6th International Conference on Inteligent Technologies
ISBN
974-615-226-2
ISSN
—
e-ISSN
—
Number of pages
6
Pages from-to
21-26
Publisher name
Assumption University of Bangkok
Place of publication
Bangkok
Event location
Phuket
Event date
Dec 14, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)