Počet záznamů: 1
Comments on Interpretability and Decidability in Fuzzy Logic
- 1.0350424 - ÚI 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. E-ISSN 1465-363X
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
Počet záznamů: 1