Skip Navigation



Journal of Logic and Computation Advance Access published online on September 13, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp058
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Hájek, P.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

Comments on Interpretability and Decidability in Fuzzy Logic

Petr Hájek

Institute of Computer Science, Academy of Science of the Czech Republic, 182 07 Prague, Czech Republic.
E-mail: hajek{at}cs.cas.cz

Received 15 September 2008.

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).

Keywords: Mathematical fuzzy logic; interpretability; decidability



References

  1. Canny J. Some algebraic and geometric computations in PSPACE. In: Proceedings 20th Annual ACM Symposium Theory of Computing (1988) New York, USA: ACM. 460–467.
  2. Cintula P, Hájek P. Triangular norm based predicate fuzzy logics. Fuzzy Sets and Systems (2009) to appear.
  3. Esteva F, Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems (2001) 124:271–288.[CrossRef][Web of Science]
  4. Hájek P. Metamathematics of Fuzzy Logic (1998) Kluwer.
  5. Hájek P. Arithmetical complexity of fuzzy predicate logics - a survey. Soft Computing (2005) 9:935–941.[CrossRef][Web of Science]
  6. Hájek P. Mathematical fuzzy logic and natural numbers. Fundamenta Informaticae (2007) 81:155–163.[Web of Science]
  7. Hájek P. Generalized interpretabilty in terms of models (note to a paper of R. Montague). Casopis pro Pestování Matematiky (1966) 91:352–356.
  8. Hájek P, Cintula P. On theories and models in fuzzy predicate logics. Journal of Symbolic Logic (2006) 71:863–880.[CrossRef][Web of Science]
  9. Hájek P, Haniková Z. A development of set theory in fuzzy logic. In: Beyond Two: Theory and Applications of Multiple-Valued Logic—Fitting M, Orlowska E, eds. (2003) Physica-Verlag: Heidelberg. 273–285.
  10. Montague R. Interpretability in terms of models. Indagationes Mathematicae (1965) XXVII:467–476.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Hájek, P.
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?