Počet záznamů: 1  

Comments on Interpretability and Decidability in Fuzzy Logic

  1. 1.
    SYSNO ASEP0350424
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevComments on Interpretability and Decidability in Fuzzy Logic
    Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI
    Zdroj.dok.Journal of Logic and Computation - ISSN 0955-792X
    Roč. 21, č. 5 (2011), s. 823-828
    Poč.str.6 s.
    Jazyk dok.eng - angličtina
    Země vyd.GB - Velká Británie
    Klíč. slovamathematical fuzzy logic ; interpretability ; decidability
    Vědní obor RIVBA - Obecná matematika
    CEPGEICC/08/E018 GA ČR - Grantová agentura ČR
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    UT WOS000295183000007
    EID SCOPUS80053234307
    DOI10.1093/logcom/exp058
    AnotaceA particular notion of an interpretation of a theory over a fuzzy predicate logic in another such theory is discussed. For interpretability with the domain defined by a provably crisp formula, which is of course a syntactical notion, a semantic characterization is established. In the last section, we discuss the question of whether the extension of a decidable theory by a single new axiom is decidable and present an erratum to the paper (Hájek, 2007, Fundamenta informaticae, 81, 155–163).
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2012
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.