Number of the records: 1  

General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus

  1. 1.
    SYSNO ASEP0405532
    Document TypeC - Proceedings Paper (int. conf.)
    R&D Document TypeConference Paper
    TitleGeneral Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus
    TitleObecný logický formalismus pro fuzzy matematiku: metodologie a aparát
    Author(s) Běhounek, Libor (UIVT-O) RID, SAI, ORCID
    Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Source TitleFuzzy 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
    Pagess. 1227-1232
    Number of pages5 s.
    ActionInternational Fuzzy Systems Association World Congress /11./
    Event date28.07.2005-31.07.2005
    VEvent locationBeijing
    CountryCN - China
    Event typeWRD
    Languageeng - English
    CountryCN - China
    Keywordsfuzzy logic ; fuzzy mathematics ; axiomatization ; formalization ; higher-order logic ; LPi-logic
    Subject RIVBA - General Mathematics
    R&D ProjectsKJB100300502 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
    1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
    AnnotationThere 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.
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2006

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.