Počet záznamů: 1  

General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus

  1. 1.
    SYSNO ASEP0405532
    Druh ASEPC - Konferenční příspěvek (mezinárodní konf.)
    Zařazení RIVD - Článek ve sborníku
    NázevGeneral Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus
    Překlad názvuObecný 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, SAI
    Zdroj.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 strans. 1227-1232
    Poč.str.5 s.
    AkceInternational Fuzzy Systems Association World Congress /11./
    Datum konání28.07.2005-31.07.2005
    Místo konáníBeijing
    ZeměCN - Čína
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.CN - Čína
    Klíč. slovafuzzy logic ; fuzzy mathematics ; axiomatization ; formalization ; higher-order logic ; LPi-logic
    Vědní obor RIVBA - Obecná matematika
    CEPKJB100300502 GA AV ČR - Akademie věd
    1M0545 GA MŠk - Ministerstvo školství, mládeže a tělovýchovy
    AnotaceThere 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
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2006

Počet záznamů: 1