Počet záznamů: 1  

An Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics

    1.
    SYSNO ASEP0328031
    Druh ASEPC - Konferenční příspěvek (mezinárodní konf.)
    Zařazení RIVD - Článek ve sborníku
    NázevAn Abstract Approach to Fuzzy Logics: Implicational Semilinear Logics
    Překlad názvuAbstraktní přístup k fuzzy logikám: implikační semilineární logiky
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, C. (ES)
    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 strans. 519-524
    Poč.str.6 s.
    Forma vydáníCD ROM - CD ROM
    AkceIFSA - 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 akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.ES - Španělsko
    Klíč. slovaabstract algebraic logic ; implicative logics ; Leibniz hierarchy ; mathematical fuzzy logic ; semilinear logics
    Vědní obor RIVBA - Obecná matematika
    CEPGEICC/08/E018 GA ČR - Grantová agentura ČR
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    UT WOS000279170600091
    EID SCOPUS84868630521
    AnotacePaper presents a new abstract framework to deal in a uniform way with the increasing variety of fuzzy logics studied in the literature. By means of notions and techniques from Abstract Algebraic Logic, we perform a study of non-classical logics based on the kind of generalized implication connectives they possess. It yields the new hierarchy of implicational logics. In this framework the notion of implicational semilinear logic can be naturally introduced as a property of the implication, namely a logic L is an implicational semilinear logic iff it has an implication such that L is complete w.r.t. the matrices where the implication induces a linear order, a property which is typically satisfied by well-known systems of fuzzy logic. The hierarchy of implicational logics is then restricted to the semilinear case obtaining a classification of implicational semilinear logics that encompasses almost all the known examples of fuzzy logics and suggests new directions for research in the field.
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2010
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše