{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:35:44Z","timestamp":1743028544483,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112701"},{"type":"electronic","value":"9783319112718"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11271-8_14","type":"book-chapter","created":{"date-parts":[[2014,10,16]],"date-time":"2014-10-16T06:07:09Z","timestamp":1413439629000},"page":"213-227","source":"Crossref","is-referenced-by-count":0,"title":["On Standard Completeness for Non-commutative Many-Valued Logics"],"prefix":"10.1007","author":[{"given":"Denisa","family":"Diaconescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","first-page":"481","volume":"13","author":"S. Jenei","year":"2003","unstructured":"Jenei, S., Montagna, F.: A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Network World\u00a013, 481\u2013488 (2003)","journal-title":"Neural Network World"},{"key":"14_CR2","first-page":"30","volume":"23","author":"J. \u0141ukasiewicz","year":"1930","unstructured":"\u0141ukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den aussagenkalk\u00fcl. Comptes Rendus S\u00e9ances Soci\u00e9t\u00e9 dec Sciences et Lettres Varsovie\u00a023, 30\u201350 (1930)","journal-title":"Comptes Rendus S\u00e9ances Soci\u00e9t\u00e9 dec Sciences et Lettres Varsovie"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Number\u00a04, Dordrecht (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P. H\u00e1jek","year":"1996","unstructured":"H\u00e1jek, P., Godo, L., Esteva, F.: A complete many-valued logic with product-conjunction. Arch. Math. Logic\u00a035(3), 191\u2013208 (1996)","journal-title":"Arch. Math. Logic"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F. Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets and Systems\u00a0124(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Flondor, P., Georgescu, G., Iorgulescu, A.: Pseudo-t-norms and pseudo-BL algebras. Soft Computing\u00a05, 355\u2013371 (2001)","DOI":"10.1007\/s005000100137"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/s00500-002-0246-y","volume":"8","author":"P. H\u00e1jek","year":"2003","unstructured":"H\u00e1jek, P.: Observations on non-commutative fuzzy logic. Soft Computing\u00a08, 38\u201343 (2003)","journal-title":"Soft Computing"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/s00153-005-0297-8","volume":"45","author":"I. Leu\u015ftean","year":"2006","unstructured":"Leu\u015ftean, I.: Non-commutative \u0142ukasiewicz propositional logic. Arch. Math. Logic\u00a045, 191\u2013213 (2006)","journal-title":"Arch. Math. Logic"},{"key":"14_CR9","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-31715-6_22","volume-title":"Advances in Computational Intelligence","author":"D. Diaconescu","year":"2012","unstructured":"Diaconescu, D.: Non-commutative product logic and probability of fuzzy events. In: Greco, S., Bouchon-Meunier, B., Coletti, G., Fedrizzi, M., Matarazzo, B., Yager, R.R. (eds.) IPMU 2012, Part II. CCIS, vol.\u00a0298, pp. 194\u2013205. Springer, Heidelberg (2012)"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Diaconescu, D.: Non-commutative fuzzy logic psmtl: an alternative proof for the standard completeness theorem. In: Proceedings of the 4th International Conference on Fuzzy Computation Theory and Applications (FCTA 2012), pp. 350\u2013356 (2012), doi:10.5220\/0004151603500356","DOI":"10.5220\/0004151603500356"},{"key":"14_CR11","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic. College Publications (2012)"},{"key":"14_CR12","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated lattices: An algebraic glimpse at substructural logics. In: Studies in Logic and the Foundations of Mathematics, vol.\u00a0151. Elsevier (2007)"},{"issue":"5","key":"14_CR13","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","volume":"157","author":"L. B\u011bhounek","year":"2006","unstructured":"B\u011bhounek, L., Cintula, P.: Fuzzy logics as the logics of chains. Fuzzy Sets and Systems\u00a0157(5), 604\u2013610 (2006)","journal-title":"Fuzzy Sets and Systems"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"K\u00fchr, J.: Pseudo-BL-algebras and DRL-monoids. Math. Bohem.\u00a0128, 199\u2013208 (2003)","DOI":"10.21136\/MB.2003.134040"},{"issue":"2","key":"14_CR15","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s00500-006-0058-6","volume":"11","author":"R. Hor\u010dik","year":"2007","unstructured":"Hor\u010dik, R.: Alternative proof of standard completeness theorem for mtl. Soft Computing\u00a011(2), 123\u2013129 (2007)","journal-title":"Soft Computing"},{"key":"14_CR16","series-title":"Monographs and textbooks in pure and applied mathematics","volume-title":"Introduction to set theory","author":"K. Hrbacek","year":"1999","unstructured":"Hrbacek, K., Jech, T.: Introduction to set theory. Monographs and textbooks in pure and applied mathematics. Dekker, New York (1999)"},{"issue":"2","key":"14_CR17","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1016548805869","volume":"71","author":"F. Esteva","year":"2002","unstructured":"Esteva, F., Gispert, J., Godo, L., Montagna, F.: On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica\u00a071(2), 199\u2013226 (2002)","journal-title":"Studia Logica"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S. Jenei","year":"2002","unstructured":"Jenei, S., Montagna, F.: A proof of standard completeness for esteva and godo\u2019s logic mtl. Studia Logica\u00a070(2), 183\u2013192 (2002)","journal-title":"Studia Logica"},{"issue":"1-2","key":"14_CR19","first-page":"71","volume":"12","author":"A. Iorgulescu","year":"2006","unstructured":"Iorgulescu, A.: Classes of pseudo-bck algebras - part i. J. of Mult.-Valued Logic and Soft Comp.\u00a012(1-2), 71\u2013130 (2006)","journal-title":"J. of Mult.-Valued Logic and Soft Comp."}],"container-title":["Studies in Computational Intelligence","Computational Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11271-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,18]],"date-time":"2023-12-18T17:04:28Z","timestamp":1702919068000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11271-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319112701","9783319112718"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11271-8_14","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2015]]}}}