Abstract.
Given a class C of t-norm BL-algebras, one may wonder which is the complexity of the set Taut(C∀) of predicate formulas which are valid in any algebra in C. We first characterize the classes C for which Taut(C∀) is recursively axiomatizable, and we show that this is the case iff C only consists of the Gödel algebra on [0,1]. We then prove that in all cases except from a finite number Taut(C∀) is not even arithmetical. Finally we consider predicate monadic logics Taut M (C∀) of classes C of t-norm BL-algebras, and we prove that (possibly with finitely many exceptions) they are undecidable.
Similar content being viewed by others
References
Aglianó, P., Montagna, F.: Varieties of basic algebras I: general properties. J. Pure Appl. Algebra 181, 105–129 (2003)
Aglianó, P., Ferreirim, I.M.A., Montagna, F.: Basic hoops: an algebraic study of continuous t-norms. Preprint 2000
Baaz, M., Ciabattoni, A., Fermüller, C.: Herbrand’s Theorem for Prenex Gödel logic and its consequences for Theorem Proving. Proceedings of logic for Programming and Automated Reasoning (LPAR’2001), Cuba, December 2001. LNAI 2250. pp. 201–216
Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Universalis 43, 233–257 (2000)
Chang, C.C.: Algebraic analysis of many-valued logic. Trans. Amer. Math. Soc. 88, 467–490 (1958)
Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4, 106–112 (2000)
Cignoli, R., Mundici, D., D’Ottaviano, I.M.L.: Algebraic foundations of many-valued reasoning. Kluwer 2000
Esteva, F., Godo, L.: Monoidal t-norm based logics: towards an axiomatization of the logic of left-continuous t-norms. Fuzzy sets and systems 124, 271–288 (2001)
Ferreirim, I.M.A.: On varieties and quasi varieties of hoops and their reducts, PhD thesis, University of Illinois at Chicago, 1992
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, 1998
Hájek, P.: Fuzzy Logic and arithmetical hierarchy 3. Studia Logica 68, 129–142 (2001)
Hájek, P.: Fuzzy Logic and arithmetical hierarchy 4. Preprint 2003
Hájek, P.: Monadic Fuzzy Predicate Logics. Studia Logica 71 (2), 165–176 (2002)
Esteva, F., Godo, L., Hájek, P., Montagna, F.: Hoops and Fuzzy Logic. J. Logic Computat. 13 (4), 531–355 (2003)
Montagna, F.: Three complexity problems in quantified fuzzy logic. Studia Logica 68, 143–152 (2001)
Mostert, P.S., Shields, A.L.: On the structure of semigroups on a compact manifold with boundary. Ann. Math. 65, 117–143 (1957)
Pałasinski, M.: Some remarks on BCK-algebras. Math. Seminar Notes, Kobe Univ. 8, 137–144 (1980)
Ragaz, M.E.: Arithmetische Klassification von Formelnmenge der unendlichwertigen Logik. Thesis, ETH Zürich, 1981
Rogers, H.: Certain logical reduction and decision problems. Annals of Mathematics Vol. 4, 264–284 (1956)
Ward, M., Diilworth, R.P.: Resisuated lattices. Trans. Amer. Math. Soc. 45, 335–354 (1939)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): Primary: 03B50, Secondary: 03B47
Acknowledgement The author is deeply indebted to Petr Hájek, whose results about the complexity problems of predicate fuzzy logics constitute the main motivation for this paper, and whose suggestions and remarks have been always stimulating. He is also indebted to Matthias Baaz, who pointed out to him a method used in [BCF] for the case of monadic Gödel logic which works with some modifications also in the case of monadic BL logic.
Rights and permissions
About this article
Cite this article
Montagna, F. On the predicate logics of continuous t-norm BL-algebras. Arch. Math. Logic 44, 97–114 (2005). https://doi.org/10.1007/s00153-004-0231-5
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0231-5