Počet záznamů: 1
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus
- 1.
SYSNO ASEP 0405532 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus Překlad názvu Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát Tvůrce(i) Běhounek, Libor (UIVT-O) RID, SAI, ORCID
Cintula, Petr (UIVT-O) RID, ORCID, SAIZdroj.dok. Fuzzy Logic, Soft Computing and Computational Intelligence, 2 / Liu Y. ; Chen G. ; Ying M.. - Beijing : Tsinghua University Press and Springer, 2005 - ISBN 7-302-11377-7 Rozsah stran s. 1227-1232 Poč.str. 5 s. Akce International Fuzzy Systems Association World Congress /11./ Datum konání 28.07.2005-31.07.2005 Místo konání Beijing Země CN - Čína Typ akce WRD Jazyk dok. eng - angličtina Země vyd. CN - Čína Klíč. slova fuzzy logic ; fuzzy mathematics ; axiomatization ; formalization ; higher-order logic ; LPi-logic Vědní obor RIV BA - Obecná matematika CEP KJB100300502 GA AV ČR - Akademie věd 1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy Anotace There is a programme in the formal foundations of fuzzy mathematics proposed by the authors, the goal of which is to encompass a large part of existing fuzzy mathematics within a general logical formalism. This paper presents the methodology behind this programme and reviews the technical aspects of a particular apparatus for this enterprise. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2006
Počet záznamů: 1