Trakhtenbrot Theorem and Fuzzy Logic

  • Petr Hájek
Conference paper

DOI: 10.1007/10703163_1

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1584)
Cite this paper as:
Hájek P. (1999) Trakhtenbrot Theorem and Fuzzy Logic. In: Gottlob G., Grandjean E., Seyr K. (eds) Computer Science Logic. CSL 1998. Lecture Notes in Computer Science, vol 1584. Springer, Berlin, Heidelberg


Trakhtenbrot theorem is shown to be valid for the three main fuzzy logics – Łukasiewicz, Gödel and product logic.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Petr Hájek
    • 1
  1. 1.Institute of Computer ScienceAcademy of SciencesPragueCzech Republic

Personalised recommendations