Number of the records: 1
General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus
- 1.
SYSNO ASEP 0405532 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title General Logical Formalism for Fuzzy Mathematics: Methodology and Apparatus Title Obecný 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, SAISource Title 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 Pages s. 1227-1232 Number of pages 5 s. Action International Fuzzy Systems Association World Congress /11./ Event date 28.07.2005-31.07.2005 VEvent location Beijing Country CN - China Event type WRD Language eng - English Country CN - China Keywords fuzzy logic ; fuzzy mathematics ; axiomatization ; formalization ; higher-order logic ; LPi-logic Subject RIV BA - General Mathematics R&D Projects KJB100300502 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS) Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2006
Number of the records: 1