Number of the records: 1
Comments on Interpretability and Decidability in Fuzzy Logic
- 1.0350424 - ÚI 2012 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : mathematical fuzzy logic * interpretability * decidability
Subject RIV: BA - General Mathematics
Impact factor: 0.611, year: 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).
Permanent Link: http://hdl.handle.net/11104/0190437
Number of the records: 1