{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T08:00:27Z","timestamp":1649059227276},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2008,11,11]],"date-time":"2008-11-11T00:00:00Z","timestamp":1226361600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1007\/s00500-008-0382-0","type":"journal-article","created":{"date-parts":[[2008,11,10]],"date-time":"2008-11-10T10:06:48Z","timestamp":1226311608000},"page":"1089-1097","source":"Crossref","is-referenced-by-count":2,"title":["Computational complexities of axiomatic extensions of monoidal t-norm based logic"],"prefix":"10.1007","volume":"13","author":[{"given":"Moataz Saleh","family":"El-Zekey","sequence":"first","affiliation":[]},{"given":"Wafik Boulos","family":"Lotfallah","sequence":"additional","affiliation":[]},{"given":"Nehad Nashaat","family":"Morsi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,11,11]]},"reference":[{"key":"382_CR2","doi-asserted-by":"crossref","unstructured":"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\u20132019","DOI":"10.1109\/FUZZY.2006.1681979"},{"key":"382_CR1","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1007\/s00500-004-0443-y","volume":"9","author":"S Aguzzoli","year":"2005","unstructured":"Aguzzoli S, Gerla B, Hanikov\u00e1 Z (2005) Complexity issues in basic logic. Soft Comput 9:919\u2013934","journal-title":"Soft Comput"},{"issue":"1-3","key":"382_CR3","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0168-0072(01)00048-3","volume":"113","author":"M Baaz","year":"2002","unstructured":"Baaz M, H\u00e1jek P, Montagna F, Veith H (2002) Complexity of t-tautologies. Ann Pure Appl Logic 113(1-3):3\u201311","journal-title":"Ann Pure Appl Logic"},{"key":"382_CR4","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"2","author":"R Cignoli","year":"2000","unstructured":"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\u2013112","journal-title":"Soft Comput"},{"key":"382_CR5","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/S0165-0114(01)00215-9","volume":"131","author":"R Cignoli","year":"2002","unstructured":"Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left-continuous t-norms. Fuzzy Sets Syst 131:283\u2013296","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR6","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva F, Godo L (2001) Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271\u2013288","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR7","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F Esteva","year":"2002","unstructured":"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\u2013420","journal-title":"Studia Logica"},{"key":"382_CR9","first-page":"251","volume-title":"Studies in fuzziness and soft computing.","author":"F Esteva","year":"2003","unstructured":"Esteva F, Godo L, Garc\u2019a-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\u2013272"},{"key":"382_CR8","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1002\/malq.200710054","volume":"54","author":"F Esteva","year":"2008","unstructured":"Esteva F, Gispert J, Noguera C (2008a) On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Math Logic Q 54:387\u2013409","journal-title":"Math Logic Q"},{"key":"382_CR10","unstructured":"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)"},{"key":"382_CR11","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0165-0114(94)00210-X","volume":"69","author":"JC Fodor","year":"1995","unstructured":"Fodor JC (1995) Contrapositive symmetry of fuzzy implications. Fuzzy Sets Syst 69:141\u2013156","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR12","first-page":"113","volume":"37","author":"J Gispert","year":"2003","unstructured":"Gispert J (2003) Axiomatic extensions of the milpotent minimum logic. Rep Math Logic 37:113\u2013123","journal-title":"Rep Math Logic"},{"key":"382_CR13","volume-title":"A treatise on many-valued logic","author":"S Gottwald","year":"2001","unstructured":"Gottwald S (2001) A treatise on many-valued logic. Research Studies Press, Baldock"},{"key":"382_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht"},{"key":"382_CR15","doi-asserted-by":"crossref","unstructured":"H\u00e1jek P (2002) Observations on the monoidal t-norm logic. Fuzzy Sets Syst 132(1):107\u2013112","DOI":"10.1016\/S0165-0114(02)00057-X"},{"key":"382_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s00500-002-0195-5","volume":"7","author":"P H\u00e1jek","year":"2003","unstructured":"H\u00e1jek P (2003) Basic fuzzy logic and BL-algebras II. Soft Comput 7:179\u2013183","journal-title":"Soft Comput"},{"key":"382_CR17","first-page":"32","volume-title":"Applications of category theory to fuzzy subsets.","author":"U H\u00f6hle","year":"1992","unstructured":"H\u00f6hle U (1992) M-valued sets and sheaves over integral commutative CL-monoids. In: Rodabaugh SE, Klement EP, H\u00f6hle U (eds) Applications of category theory to fuzzy subsets. Kluwer, Dordrecht, pp 32\u201372"},{"key":"382_CR18","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-322-86825-1_18","volume-title":"Fuzzy systems in computer science.","author":"U H\u00f6hle","year":"1994","unstructured":"H\u00f6hle U (1994) Monoidal logic. In: Kruse R, Gebhardt J, Palm R (eds) Fuzzy systems in computer Science. Vieweg, Wiesbaden, pp 233\u2013243"},{"key":"382_CR19","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-94-011-0215-5_5","volume-title":"Non-classical logics and their applications to fuzzy subsets.","author":"U H\u00f6hle","year":"1995","unstructured":"H\u00f6hle U (1995a) Commutative, residuated $$\\ell$$ -monoids. In: H\u00f6hle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. Kluwer, Dordrecht, pp 53\u2013106"},{"key":"382_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-94-011-0215-5_7","volume-title":"Non-classical logics and their applications to fuzzy subsets.","author":"U H\u00f6hle","year":"1995","unstructured":"H\u00f6hle U (1995b) Presheaves over GL-monoids. In: H\u00f6hle U, Klement EP (eds) Non-classical logics and their applications to fuzzy subsets. Kluwer, Dordrecht, pp 127\u2013157"},{"key":"382_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0539-5","volume-title":"Descriptive complexity","author":"N Immerman","year":"1999","unstructured":"Immerman N (1999) Descriptive complexity. Springer, Heidelberg"},{"key":"382_CR22","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Studia Logica 70:183\u2013192","journal-title":"Studia Logica"},{"issue":"3","key":"382_CR23","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/S0165-0114(02)00275-0","volume":"136","author":"S Jenei","year":"2003","unstructured":"Jenei S, Montagna F (2003) A general method for constructing left-continuous t-norms. Fuzzy Sets Syst 136(3):263\u2013282","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR24","unstructured":"Papadimitriou CH (1994) Computational complexity. Addison-Wesley, Reading"},{"key":"382_CR25","unstructured":"Pavelka J (1979) On fuzzy logic. Zeitsch. f. Math. Logik, I, II, III: 25:45\u201352, 119\u2013134, 447\u2013464."},{"key":"382_CR27","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0165-0114(02)00053-2","volume":"131","author":"D Pei","year":"2002","unstructured":"Pei D (2002) $$\\hbox{R}_{0}$$ implication: characteristics and applications. Fuzzy Sets Syst 131:297\u2013302","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR26","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"D Pei","year":"2003","unstructured":"Pei D (2003) On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138:187\u2013195","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR28","volume-title":"Probabilistic metric spaces","author":"B Schweizer","year":"1983","unstructured":"Schweizer B, Sklar A (1983) Probabilistic metric spaces. North-Holland, Amsterdam"},{"key":"382_CR29","unstructured":"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\u00a02, pp 37\u201343"},{"key":"382_CR30","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0165-0114(03)00138-6","volume":"145","author":"SM Wang","year":"2004","unstructured":"Wang SM, Wang B-S, Wang X-Y (2004) A characterization of truth-functions in the nilpotent minimum logic. Fuzzy Sets Syst 145:253\u2013266","journal-title":"Fuzzy Sets Syst"},{"key":"382_CR31","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.fss.2003.12.005","volume":"149","author":"SM Wang","year":"2005","unstructured":"Wang SM, Wang B-S, Ren F (2005) NM\u0141, a schematic extension of F.Esteva and L.Godos logic MTL. Fuzzy Sets Syst 149:285\u2013295","journal-title":"Fuzzy Sets Syst"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0382-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-008-0382-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-008-0382-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:39:55Z","timestamp":1559093995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-008-0382-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,11]]},"references-count":31,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2009,9]]}},"alternative-id":["382"],"URL":"https:\/\/doi.org\/10.1007\/s00500-008-0382-0","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,11,11]]}}}