Počet záznamů: 1

Comments on Interpretability and Decidability in Fuzzy Logic

  1. 1.
    0350424 - UIVT-O 2012 RIV GB eng J - Článek v odborném periodiku
    Hájek, Petr
    Comments on Interpretability and Decidability in Fuzzy Logic.
    Journal of Logic and Computation. Roč. 21, č. 5 (2011), s. 823-828 ISSN 0955-792X
    Grant CEP: GA ČR GEICC/08/E018
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: mathematical fuzzy logic * interpretability * decidability
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.611, rok: 2011

    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).
    Trvalý link: http://hdl.handle.net/11104/0190437