Počet záznamů: 1
Comments on Interpretability and Decidability in Fuzzy Logic
- 1.
SYSNO ASEP 0350424 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Comments 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-828Poč.str. 6 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova mathematical fuzzy logic ; interpretability ; decidability Vědní obor RIV BA - Obecná matematika CEP GEICC/08/E018 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000295183000007 EID SCOPUS 80053234307 DOI 10.1093/logcom/exp058 Anotace A 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 Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1