Abstract
We study the computational complexity of some axiomatic extensions of the monoidal t-norm based logic (MTL), namely NM corresponding to the logic of the so-called nilpotent minimum t-norm (due to Fodor in Fuzzy Sets Syst 69:141–156, 1995); and SMTL corresponding to left-continuous strict t-norms, introduced by Esteva (and others) (Fuzzy Sets Syst 132(1):107–112, 2002; 136(3):263–282, 2003). In particular, we show that the sets of 1-satisfiable and positively satisfiable formulae of both NM and SMTL are NP-complete, while the set of 1-tautologies of NM and the set of positive tautologies of both NM and SMTL are co-NP-complete. The set of 1-tautologies of SMTL is only shown to be co-NP-hard, and it remains open if this set is in co-NP. Also, some results on the relations between these sets are obtained. We point out that results about 1-satisfiability and 1-tautology for NM are already well-known. However, in this paper, those results are proved in different ways.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Aguzzoli S, Gerla B (2006) Comparing the expressive power of some fuzzy logics based on residuated t-norms. In: Proceedings of FUZZ-IEEE 2006, Vancouver, Canada, pp 2012–2019
Aguzzoli S, Gerla B, Haniková Z (2005) Complexity issues in basic logic. Soft Comput 9:919–934
Baaz M, Hájek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Logic 113(1-3):3–11
Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 2:106–112
Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left-continuous t-norms. Fuzzy Sets Syst 131:283–296
Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271–288
Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic. Studia Logica 71:393–420
Esteva F, Godo L, Garc’a-Cerdana A (2003) On the hierarchy of t-norm based residuated fuzzy logics. In: Orlowska E, Fitting M, (eds) Studies in fuzziness and soft computing. Physica-Verlag, Heidelberg, pp 251–272
Esteva F, Gispert J, Noguera C (2008a) On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Math Logic Q 54:387–409
Esteva F, Godo L, Noguera C (2008b) On expansions of t norm based logics with truth constants. In: Hajek G, Klement H (eds) Fuzzy logics and related structures. Elsevier, Amsterdam (in press)
Fodor JC (1995) Contrapositive symmetry of fuzzy implications. Fuzzy Sets Syst 69:141–156
Gispert J (2003) Axiomatic extensions of the milpotent minimum logic. Rep Math Logic 37:113–123
Gottwald S (2001) A treatise on many-valued logic. Research Studies Press, Baldock
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht
Hájek P (2002) Observations on the monoidal t-norm logic. Fuzzy Sets Syst 132(1):107–112
Hájek P (2003) Basic fuzzy logic and BL-algebras II. Soft Comput 7:179–183
Höhle U (1992) M-valued sets and sheaves over integral commutative CL-monoids. In: Rodabaugh SE, Klement EP, Höhle U (eds) Applications of category theory to fuzzy subsets. Kluwer, Dordrecht, pp 32–72
Höhle U (1994) Monoidal logic. In: Kruse R, Gebhardt J, Palm R (eds) Fuzzy systems in computer Science. Vieweg, Wiesbaden, pp 233–243
Höhle U (1995a) Commutative, residuated \(\ell\)-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. Kluwer, Dordrecht, pp 53–106
Höhle U (1995b) Presheaves over GL-monoids. In: Höhle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. Kluwer, Dordrecht, pp 127–157
Immerman N (1999) Descriptive complexity. Springer, Heidelberg
Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo’s logic MTL. Studia Logica 70:183–192
Jenei S, Montagna F (2003) A general method for constructing left-continuous t-norms. Fuzzy Sets Syst 136(3):263–282
Papadimitriou CH (1994) Computational complexity. Addison-Wesley, Reading
Pavelka J (1979) On fuzzy logic. Zeitsch. f. Math. Logik, I, II, III: 25:45–52, 119–134, 447–464.
Pei D (2002) \(\hbox{R}_{0}\) implication: characteristics and applications. Fuzzy Sets Syst 131:297–302
Pei D (2003) On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138:187–195
Schweizer B, Sklar A (1983) Probabilistic metric spaces. North-Holland, Amsterdam
Vetterlein T (2007) Left-continuous t-norms as functional algebras. In: Stepnicka M, Novak V, Bodenhofer U (eds) Proceedings of the 5th EUSFLAT conference, Ostrava, Czech Republic. vol 2, pp 37–43
Wang SM, Wang B-S, Wang X-Y (2004) A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets Syst 145:253–266
Wang SM, Wang B-S, Ren F (2005) NMŁ, a schematic extension of F.Esteva and L.Godos logic MTL. Fuzzy Sets Syst 149:285–295
Acknowledgments
We thank the three learned referees for their apt and expansive advice, which was instrumental in correcting and improving this article.
Author information
Authors and Affiliations
Corresponding author
Additional information
W. B. Lotfallah is on leave from Cairo University.
Rights and permissions
About this article
Cite this article
El-Zekey, M.S., Lotfallah, W.B. & Morsi, N.N. Computational complexities of axiomatic extensions of monoidal t-norm based logic. Soft Comput 13, 1089–1097 (2009). https://doi.org/10.1007/s00500-008-0382-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-008-0382-0