Studia Logica

, Volume 103, Issue 6, pp 1163–1181 | Cite as

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL

  • Matteo Bianchi
  • Franco Montagna


In 1950, B.A. Trakhtenbrot showed that the set of first-order tautologies associated to finite models is not recursively enumerable. In 1999, P. Hájek generalized this result to the first-order versions of Łukasiewicz, Gödel and Product logics, w.r.t. their standard algebras. In this paper we extend the analysis to the first-order versions of axiomatic extensions of MTL. Our main result is the following. Let \({\mathbb{K}}\) be a class of MTL-chains. Then the set of all first-order tautologies associated to the finite models over chains in \({\mathbb{K}}\), fTAUT\({_{\forall}^{\mathbb{K}}}\), is \({\Pi_{1}^{0}}\) -hard. Let TAUT\({_\mathbb{K}}\) be the set of propositional tautologies of \({\mathbb{K}}\). If TAUT\({_{\mathbb{K}}}\) is decidable, we have that fTAUT\({_{\forall}^{\mathbb{K}}}\) is in \({\Pi_{1}^{0}}\). We have similar results also if we expand the language with the Δ operator.


Trakhtenbrot theorem Many-valued logics MTL logic Residuated lattices Completeness Arithmetical complexity 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baaz, M., Infinite-valued Gödel logics with 0-1-projections and relativizations, in Gödel ’96. Logical Foundations of Mathematics, Computer Science and Physics—Kurt Gödel’s Legacy, Springer, Berlin, 1996, pp. 23–33.Google Scholar
  2. 2.
    Baaz, M., A. Ciabattoni, and C. G. Fermüller, Monadic fragments of Gödel logics: Decidability and undecidability results, in N. Dershowitz, and A. Voronkov, (eds.), Logic for Programming, Artificial Intelligence, and Reasoning—Proceedings of the 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007, vol. 4790/2007 of Lecture Notes in Computer Science, Springer, Berlin, 2007, pp. 77–91. doi: 10.1007/978-3-540-75560-9.
  3. 3.
    Baaz M., Preining N., Zach R.: First-order Gödel logics. Annals of Pure and Applied Logic 147(1–2), 23–47 (2007) doi: 10.1016/j.apal.2007.03.001 CrossRefGoogle Scholar
  4. 4.
    Bianchi M.: First-order nilpotent minimum logics: First steps. Archive for Mathematical Logic 52(3–4), 295–316 (2013) doi: 10.1007/s00153-012-0317-4 CrossRefGoogle Scholar
  5. 5.
    Blok, W., and D. Pigozzi, Algebraizable Logics, vol. 77 of Memoirs of The American Mathematical Society, American Mathematical Society, 1989. Available on
  6. 6.
    Börger, E., E. Grädel, and Y. Gurevich, The Classical Decision Problem, reprint of 1997 edn., Universitext, Springer, Berlin, 2001.Google Scholar
  7. 7.
    Cintula P., Esteva F., Gispert J., Godo L., Montagna F., Noguera C.: Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Annals of Pure and Applied Logic 160(1), 53–81 (2009) doi: 10.1016/j.apal.2009.01.012 CrossRefGoogle Scholar
  8. 8.
    Cintula, P., P. Hájek, and C. Noguera, (eds.), Handbook of Mathematical Fuzzy Logic, vol. 1 and 2, College Publications, 2011.Google Scholar
  9. 9.
    Cintula P., Hájek P.: Triangular norm predicate fuzzy logics. Fuzzy Sets and Systems 161(3), 311–346 (2010) doi: 10.1016/j.fss.2009.09.006 CrossRefGoogle Scholar
  10. 10.
    Esteva F., Godo L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124(3), 271–288 (2001) doi: 10.1016/S0165-0114(01)00098-7 CrossRefGoogle Scholar
  11. 11.
    Esteva F., Godo L., Hájek P., Montagna F.: Hoops and fuzzy logic. Journal of Logic and Computation 13(4), 532–555 (2003) doi: 10.1093/logcom/13.4.532 CrossRefGoogle Scholar
  12. 12.
    Hájek, P., Trakhtenbrot theorem and fuzzy logic, in G. Gottlob, E. Grandjean, and K. Seyr, (eds.), Computer Science Logic, vol. 1584 of Lecture Notes in Computer Science, Springer, Berlin, 1999, pp. 1–8. doi: 10.1007/10703163_1.
  13. 13.
    Hájek P.: Mathematical fuzzy logic—What it can learn from Mostowski and Rasiowa. Studia Logica 84(1), 51–62 (2006) doi: 10.1007/s11225-006-9002-0 CrossRefGoogle Scholar
  14. 14.
    Hájek P.: On witnessed models in fuzzy logic. Mathematical Logic Quarterly 53(1), 66–77 (2007) doi: 10.1002/malq.200610027 CrossRefGoogle Scholar
  15. 15.
    Hájek, P., Metamathematics of Fuzzy Logic, vol. 4 of Trends in Logic, paperback edn., Kluwer Academic Publishers, 1998. ISBN: 9781402003707
  16. 16.
    Monteiro, A., Sur les algèbres de Heyting symétriques, Portugaliae Mathematica 39(1–4):1–237, 1980. Available on
  17. 17.
    Noguera, C., Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Ph.D. thesis, IIIA-CSIC, 2006. Available on
  18. 18.
    Trakhtenbrot, B. A., Impossibility of an algorithm for the decision problem in finite classes, Doklady Akademii Nauk SSSR 70:569–572, 1950. English translation in [19].Google Scholar
  19. 19.
    Trakhtenbrot, B. A., Impossibility of an algorithm for the decision problem in finite classes, American Mathematical Society Translations 23:1–5, 1963. Available on
  20. 20.
    Vaught, R. L., Sentences true in all constructive models, Journal of Symbolic Logic 25(1):39–53, 1960. Available on

Copyright information

© Springer Science+Business Media Dordrecht 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversità degli Studi di MilanoMilanItaly
  2. 2.Department of Information Engineering and MathematicsUniversità degli Studi di SienaSienaItaly

Personalised recommendations