{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T17:01:44Z","timestamp":1725814904355},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_5","type":"book-chapter","created":{"date-parts":[[2014,12,29]],"date-time":"2014-12-29T09:38:10Z","timestamp":1419845890000},"page":"31-37","source":"Crossref","is-referenced-by-count":0,"title":["Resolution Method of Six-Element Linguistic Truth-Valued First-Order Logic System"],"prefix":"10.1007","author":[{"given":"Li","family":"Zou","sequence":"first","affiliation":[]},{"given":"Di","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Yingxin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Juan","family":"Qu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"5_CR1","first-page":"20","volume":"89","author":"Y. Xu","year":"1993","unstructured":"Xu, Y.: Lattice implication algebras. J. Southwest Jiaotong Univ.\u00a089(1), 20\u201327 (1993)","journal-title":"J. Southwest Jiaotong Univ."},{"issue":"4","key":"5_CR2","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1080\/18756891.2010.9727709","volume":"3","author":"L. Martinez","year":"2010","unstructured":"Martinez, L., Ruan, D., Herrera, F.: Herrera, Computing with words in decision support systems: an overview on models and applications. International Journal of Computational Intelligence Systems\u00a03(4), 382\u2013395 (2010)","journal-title":"International Journal of Computational Intelligence Systems"},{"issue":"6","key":"5_CR3","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1109\/91.890332","volume":"8","author":"F. Herrera","year":"2000","unstructured":"Herrera, F., Martinez, L.: A 2-Tuple fuzzy linguistic representation model for computing with words. IEEE Transactions on Fuzzy Systems\u00a08(6), 746\u2013752 (2000)","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"5_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44847-1","volume-title":"Lattice-Valued Logic: An alternative approach to treat fuzziness and incomparability","author":"Y. Xu","year":"2003","unstructured":"Xu, Y., Ruan, D., Qin, K.Y., Liu, J.: Lattice-Valued Logic: An alternative approach to treat fuzziness and incomparability. Springer, Heidelberg (2003)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"452","DOI":"10.1016\/j.fss.2006.10.023","volume":"158","author":"N.C. Ho","year":"2007","unstructured":"Ho, N.C., Long, N.V.: Fuzziness measure on complete hedge algebras and quantifying semantics of terms in linear hedge algebras. Fuzzy Sets and Systems\u00a0158, 452\u2013471 (2007)","journal-title":"Fuzzy Sets and Systems"},{"key":"5_CR6","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"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Xu, Y., Li, X.B., Liu, J., Ruan, D.: Determination of a-resolution for lattice-valued first-order logic based on lattice implication. In: Proc. 2007 International Conference on Intelligent Systems and Knowledge Engineering, pp. 1567\u20131574 (2007)","DOI":"10.2991\/iske.2007.281"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"2325","DOI":"10.1016\/j.ins.2008.12.018","volume":"179","author":"Z. Pei","year":"2009","unstructured":"Pei, Z., Xu, Y., Ruan, D., Qin, K.: Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations. Information Sciences\u00a0179, 2325\u20132332 (2009)","journal-title":"Information Sciences"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1002\/int.20208","volume":"22","author":"Z. Pei","year":"2007","unstructured":"Pei, Z., Ruan, D., Xu, Y., Liu, J.: Handling linguistic web information based on a Multi-agent system. Int. J. Intelligent Systems\u00a022, 435\u2013453 (2007)","journal-title":"Int. J. Intelligent Systems"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.ins.2013.08.040","volume":"258","author":"S.W. Chen","year":"2013","unstructured":"Chen, S.W., Liu, J., Wang, H., Xu, Y., Augusto, J.C.: A linguistic multi-criteria decision making approach based on logical reasoning. Information Sciences\u00a0258, 266\u2013276 (2013)","journal-title":"Information Sciences"},{"issue":"3","key":"5_CR11","first-page":"325","volume":"3","author":"Z. Pei","year":"2009","unstructured":"Pei, Z.: Fuzzy risk analysis based on linguistic information fusion. ICIC Express Letters\u00a03(3), 325\u2013330 (2009)","journal-title":"ICIC Express Letters"},{"issue":"12","key":"5_CR12","first-page":"7105","volume":"7","author":"Z.. Pei","year":"2011","unstructured":"Pei, Z., Shi, P.: Fuzzy risk anal sis based on linguistic aggregation operators. Int. J. Innovative Computing, Information and Control\u00a07(12), 7105\u20137118 (2011)","journal-title":"Int. J. Innovative Computing, Information and Control"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"He, X.X., Xu, Y., Li, Y.F., Liu, J., Martinez, L., Ruan, D.: \u03b1-satisfiability and\u03b1-lock resolution for a lattice-valued logic. In: The 5th International Conference on Hybrid Artificial Intelligence Systems, San Sebastian, Spain, pp. 320\u2013327 (2010)","DOI":"10.1007\/978-3-642-13803-4_40"},{"issue":"4-5","key":"5_CR14","first-page":"335","volume":"19","author":"L. Zou","year":"2008","unstructured":"Zou, L., Ruan, D., Pei, Z., Xu, Y.: A linguistic truth-valued reasoning approach in decision making with incomparable information. Journal of Intelligent and Fuzzy Systems\u00a019(4-5), 335\u2013343 (2008)","journal-title":"Journal of Intelligent and Fuzzy Systems"},{"issue":"4","key":"5_CR15","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10700-008-9046-x","volume":"7","author":"L. Zou","year":"2008","unstructured":"Zou, L., Liu, X., Wu, Z., Xu, Y.: A uniform approach of linguistic truth values in sensor evaluation. International Journal of Fuzzy Optimization and Decision Making\u00a07(4), 387\u2013397 (2008)","journal-title":"International Journal of Fuzzy Optimization and Decision Making"},{"key":"5_CR16","unstructured":"Zou, L., Liu, X., Xu, Y.: Resolution method of linguistic truth-valued proposi tional logic. In: Proc. 2005 International Conference on Neural Networks and Brain, ICNN&B 2005, pp. 1996\u20131999 (2005)"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T22:05:02Z","timestamp":1566165902000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46248-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662462478","9783662462485"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46248-5_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}