Number of the records: 1  

General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus

  1. 1.
    0405532 - UIVT-O 330910 RIV CN eng C - Conference Paper (international conference)
    Běhounek, Libor - Cintula, Petr
    General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus.
    [Obecný logický formalismus pro fuzzy matematiku: metodologie a aparát.]
    Fuzzy Logic, Soft Computing and Computational Intelligence. Vol. 2. Beijing: Tsinghua University Press and Springer, 2005 - (Liu, Y.; Chen, G.; Ying, M.), s. 1227-1232. ISBN 7-302-11377-7.
    [International Fuzzy Systems Association World Congress /11./. Beijing (CN), 28.07.2005-31.07.2005]
    R&D Projects: GA AV ČR KJB100300502; GA MŠk 1M0545
    Keywords : fuzzy logic * fuzzy mathematics * axiomatization * formalization * higher-order logic * LPi-logic
    Subject RIV: BA - General Mathematics

    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.

    Autoři tohoto článku navrhli program formálních základů matematiky s cílem začlenit velkou část současné fuzzy matematiky do jednotného logického formalismu. Tento článek předkládá metodologii stojící v pořadí programu a přehled technických aspektů konkrétního aparátu pro tento projekt.
    Permanent Link: http://hdl.handle.net/11104/0125690
    FileDownloadSizeCommentaryVersionAccess
    0405532.pdf0576.3 KBAuthor´s preprintopen-access
     

Number of the records: 1