Počet záznamů: 1
Number-free Mathematics Based on T-norm Fuzzy Logic
- 1.
SYSNO ASEP 0328028 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Number-free Mathematics Based on T-norm Fuzzy Logic Překlad názvu Bezčíselná matematika založená na t-normové fuzzy logice Tvůrce(i) Běhounek, Libor (UIVT-O) RID, SAI, ORCID Zdroj.dok. IFSA - EUSFLAT 2009. - Granada : EUSFLAT, 2009 / Carvalho J.P. ; Dubois D. ; Kaymak U. ; Sousa J.M.C. - ISBN 978-989-95079-6-8 Rozsah stran s. 449-454 Poč.str. 6 s. Forma vydání CD ROM - CD ROM Akce IFSA - EUSFLAT 2009. International Fuzzy Systems Association World Congress 2009, European Society for Fuzzy Logic and Technology Conference 2009 Datum konání 20.07.2009-24.07.2009 Místo konání Lisabon Země PT - Portugalsko Typ akce WRD Jazyk dok. eng - angličtina Země vyd. ES - Španělsko Klíč. slova Fuzzy Class Theory ; fuzzy mathematics ; fuzzy set ; real-valued function ; similarity-based limit ; t-norm fuzzy logic Vědní obor RIV BA - Obecná matematika CEP IAA100300503 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000279170600079 EID SCOPUS 84871873886 Anotace The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilitates certain generalizations, and puts the concepts into a different perspective. The formal framework employed for the number-free formalization of mathematical concepts is that of higher-order fuzzy logic, also known as Fuzzy Class Theory. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2010
Počet záznamů: 1