{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:08:27Z","timestamp":1747368507550,"version":"3.40.5"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662462478"},{"type":"electronic","value":"9783662462485"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46248-5_49","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T14:38:10Z","timestamp":1419863890000},"page":"407-417","source":"Crossref","is-referenced-by-count":1,"title":["10-Elements Linguistic Truth-Valued Intuitionistic Fuzzy First-Order Logic System"],"prefix":"10.1007","author":[{"given":"Yingxin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Zou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"49_CR1","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control.\u00a08(3), 338\u2013353 (1965)","journal-title":"Information and Control."},{"issue":"1","key":"49_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0165-0114(86)80034-3","volume":"20","author":"K. Atanassov","year":"1986","unstructured":"Atanassov, K.: lntuionistic fuzzy sets. Fuzzy Sets and Systems.\u00a020(1), 87\u201396 (1986)","journal-title":"Fuzzy Sets and Systems."},{"issue":"1","key":"49_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0165-0114(89)90215-7","volume":"33","author":"K. Atanassov","year":"1989","unstructured":"Atanassov, K.: More on intuionistic fuzzy sets. Fuzzy Sets and Systems.\u00a033(1), 37\u201345 (1989)","journal-title":"Fuzzy Sets and Systems."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-valued logic. Springer (2003)","DOI":"10.1007\/978-3-540-44847-1"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Meng, D., Xu, Y., Jia, H.D.: Resolution Principle Based on Six Lattice-Valued First-Order Logic L6F(X). In: Proceedings of 2005 IEEE Networking, Sensing and Control Conference, pp. 838\u2013843 (2005)","DOI":"10.1109\/ICNSC.2005.1461301"},{"issue":"4","key":"49_CR6","first-page":"433","volume":"38","author":"D. Meng","year":"2003","unstructured":"Meng, D., Song, Z.M., Qin, K.Y.: Algorithm of transforming any formula in LF(X) into reducible form. Journal of Southwest Jiaotong University (Natural Science Edition)\u00a038(4), 433\u2013437 (2003)","journal-title":"Journal of Southwest Jiaotong University (Natural Science Edition)"},{"key":"49_CR7","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1002\/int.20129","volume":"21","author":"Y. Xu","year":"2006","unstructured":"Xu, Y., Liu, J., Ruan, D., Lee, T.T.: On the consistency of rule bases based on lattice-valued first-order logic LF(X). International Journal of Intelligent Systems\u00a021, 399\u2013424 (2006)","journal-title":"International Journal of Intelligent Systems"},{"issue":"1","key":"49_CR8","first-page":"66","volume":"29","author":"X.X. He","year":"2012","unstructured":"He, X.X., Xu, Y., Liu, J.: a-Input and a-unit resolution methods for generalized horn clause set. Journal of Donghua University (Eng. Ed.)\u00a029(1), 66\u201370 (2012)","journal-title":"Journal of Donghua University (Eng. Ed.)"},{"issue":"1","key":"49_CR9","first-page":"37","volume":"30","author":"H.L. Zheng","year":"2003","unstructured":"Zheng, H.L., Xu, B.Q., Zou, L.: An approach for knowledge representation based on ten-element lattice implication algebra. Computer Applications and Software.\u00a030(1), 37\u201339 (2003)","journal-title":"Computer Applications and Software."},{"issue":"2","key":"49_CR10","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/s12204-012-1249-1","volume":"17","author":"W.T. Xu","year":"2012","unstructured":"Xu, W.T., Xu, Y.: Ideal resolution principle for lattice-valued first-order logic LF(X) based on lattice implication algebra. Journal of Shanghai Jiaotong University (Science)\u00a017(2), 178\u2013181 (2012)","journal-title":"Journal of Shanghai Jiaotong University (Science)"},{"issue":"4","key":"49_CR11","first-page":"28","volume":"27","author":"J.J. Lai","year":"2013","unstructured":"Lai, J.J., Xu, Y.: Uncertainty reasoning of two models based on linguistic truth-valued lattice value first-order logic system Lv(n\u00d72)F(X). Fuzzy Systems and Mathematics\u00a027(4), 28\u201335 (2013)","journal-title":"Fuzzy Systems and Mathematics"},{"issue":"1","key":"49_CR12","first-page":"168","volume":"41","author":"W.T. Xu","year":"2014","unstructured":"Xu, W.T., Zhang, W.Q., Xu, Y., Zhang, D.X.: \u03b1-generalized resolution principle based on the lattice-valued first-order logic system. Journal of Xidian University\u00a041(1), 168\u2013173 (2014)","journal-title":"Journal of Xidian University"}],"container-title":["Communications in Computer and Information Science","Intelligent Computation in Big Data Era"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46248-5_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T16:20:16Z","timestamp":1747326016000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46248-5_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662462478","9783662462485"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46248-5_49","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}