{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:13:54Z","timestamp":1725614034807},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238802"},{"type":"electronic","value":"9783642238819"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23881-9_77","type":"book-chapter","created":{"date-parts":[[2011,9,24]],"date-time":"2011-09-24T00:51:47Z","timestamp":1316825507000},"page":"601-608","source":"Crossref","is-referenced-by-count":0,"title":["The Predicate Formal System Based on 1-Level Universal AND Operator"],"prefix":"10.1007","author":[{"given":"Ying-cang","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xue-zhen","family":"Dai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"77_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. Hajek","year":"1998","unstructured":"Hajek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"77_CR2","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-normbased logic:towards a logic for left-continous t-norms. Fuzzy Sets and Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"77_CR3","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R. Cignoli","year":"2000","unstructured":"Cignoli, R., Esteva, F., Godo, L., Torrens, A.: Basic fuzzy logic is the logic of continuous t-norms and their residual. Soft Computing\u00a04, 106\u2013112 (2000)","journal-title":"Soft Computing"},{"key":"77_CR4","doi-asserted-by":"publisher","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. Hohle","year":"1995","unstructured":"Hohle, U.: Commutative, residuated l-monoids. In: Hohle, U., Klement, E.P. (eds.) Non-Classical Logics and Their Applications to Fuzzy Subsets, pp. 53\u2013106. Kluwer Academic Publishers, Dordrecht (1995)"},{"key":"77_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F. Esteva","year":"2000","unstructured":"Esteva, F., Godo, L., et al.: Residuated fuzzy logics with an involutive negation. Archive for Mathmatical Logic\u00a039, 103\u2013124 (2000)","journal-title":"Archive for Mathmatical Logic"},{"key":"77_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"E.P. Klement","year":"2000","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"77_CR7","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1360\/02yc9005","volume":"45","author":"D.W. Pei","year":"2002","unstructured":"Pei, D.W., Wang, G.J.: The completeness and applications of the formal system L*. Science in China (Series F)\u00a045, 40\u201350 (2002)","journal-title":"Science in China (Series F)"},{"key":"77_CR8","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/j.fss.2004.01.005","volume":"149","author":"S.M. Wang","year":"2005","unstructured":"Wang, S.M., Wang, B.S., Pei, D.W.: A fuzzy logic for an ordinal sum t-norm. Fuzzy Sets and Systems\u00a0149, 297\u2013307 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"77_CR9","volume-title":"Non-classical Mathematical Logic and Approximate Reasoning","author":"G.J. Wang","year":"2000","unstructured":"Wang, G.J.: Non-classical Mathematical Logic and Approximate Reasoning. Science Press, Beijing (2000) (in Chinese)"},{"issue":"6","key":"77_CR10","first-page":"675","volume":"23","author":"D.W. Pei","year":"2002","unstructured":"Pei, D.W.: First-order Formal System K\n                  \u2009\u2217\u2009 and its Completeness. Chinese Annals of Mathematics, Series A\u00a023(6), 675\u2013684 (2002)","journal-title":"Chinese Annals of Mathematics, Series A"},{"issue":"6","key":"77_CR11","first-page":"1","volume":"30","author":"H.B. Wu","year":"2009","unstructured":"Wu, H.B.: Competeness of \n                    \n                      \n                    \n                    $BL_{\\triangle}^{\\ast}$\n                  System. Journal of Jishou University (Natural Science Edition)\u00a030(6), 1\u20135 (2009)","journal-title":"Journal of Jishou University (Natural Science Edition)"},{"key":"77_CR12","volume-title":"Universal Logic Principle","author":"H.C. He","year":"2001","unstructured":"He, H.C., et al.: Universal Logic Principle. Science Press, Beijing (2001) (in Chinese)"},{"key":"77_CR13","first-page":"561","volume-title":"2005 IEEE International Conference on GrC","author":"Y.C. Ma","year":"2005","unstructured":"Ma, Y.C., He, H.C.: The Fuzzy Reasoning Rules Based on Universal Logic. In: 2005 IEEE International Conference on GrC, pp. 561\u2013564. IEEE Press, Los Alamitos (2005)"},{"key":"77_CR14","first-page":"2716","volume-title":"Proceedings of 2005 ICMLC","author":"Y.C. Ma","year":"2005","unstructured":"Ma, Y.C., He, H.C.: A Propositional Calculus Formal Deductive System \n                    \n                      \n                    \n                    $\\mathcal{UL}_{h\\in (0,1]}$\n                   of Universal Logic. In: Proceedings of 2005 ICMLC, pp. 2716\u20132721. IEEE Press, Los Alamitos (2005)"},{"key":"77_CR15","first-page":"993","volume-title":"Proceedings of 2006 ISDA","author":"Y.C. Ma","year":"2006","unstructured":"Ma, Y.C., Li, Q.Y.: A Propositional Deductive System Of Universal Logic with Projection Operator. In: Proceedings of 2006 ISDA, pp. 993\u2013998. IEEE Press, Los Alamitos (2006)"},{"key":"77_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/11739685_39","volume-title":"Advances in Machine Learning and Cybernetics","author":"Y.C. Ma","year":"2006","unstructured":"Ma, Y.C., He, H.C.: The Axiomatization for 0-Level Universal Logic. In: Yeung, D.S., Liu, Z.-Q., Wang, X.-Z., Yan, H. (eds.) ICMLC 2005. LNCS (LNAI), vol.\u00a03930, pp. 367\u2013376. Springer, Heidelberg (2006)"},{"issue":"2","key":"77_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S1005-8885(08)60096-5","volume":"15","author":"Y.C. Ma","year":"2008","unstructured":"Ma, Y.C., He, H.C.: Axiomatization for 1-level Universal AND Operator. The Journal of China Universities of Posts and Telecommunications\u00a015(2), 125\u2013129 (2008)","journal-title":"The Journal of China Universities of Posts and Telecommunications"},{"key":"77_CR18","unstructured":"Ma, Y.C., He, H.C.: The predicate formal system based on 1-level universal AND operator and its soundness (submitted)"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Computational Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23881-9_77","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,7]],"date-time":"2019-04-07T15:48:17Z","timestamp":1554652097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23881-9_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238802","9783642238819"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23881-9_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}