{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T15:55:43Z","timestamp":1761580543047,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724339"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72434-6_36","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:54:51Z","timestamp":1191938091000},"page":"358-366","source":"Crossref","is-referenced-by-count":12,"title":["Weak Completeness of Resolution in a Linguistic Truth-Valued Propositional Logic"],"prefix":"10.1007","author":[{"given":"Yang","family":"Xu","sequence":"first","affiliation":[]},{"given":"Shuwei","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Da","family":"Ruan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"36_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/11539506_35","volume-title":"Fuzzy Systems and Knowledge Discovery","author":"S.W. Chen","year":"2005","unstructured":"Chen, S.W., Xu, Y., Ma, J.: A Linguistic Truth-Valued Uncertainty Reasoning Model Based on Lattice-Valued Logic. In: Wang, L., Jin, Y. (eds.) FSKD 2005. LNCS (LNAI), vol.\u00a03613, pp. 276\u2013284. Springer, Heidelberg (2005)"},{"issue":"6","key":"36_CR2","doi-asserted-by":"publisher","first-page":"746","DOI":"10.1109\/91.890332","volume":"8","author":"F. Herrera","year":"2000","unstructured":"Herrera, F., Mart\u00ednez, L.: A 2-Tuple Fuzzy Linguistic Representation Model for Computing With Words. IEEE Trans. Fuzzy Systems\u00a08(6), 746\u2013752 (2000)","journal-title":"IEEE Trans. Fuzzy Systems"},{"key":"36_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0165-0114(90)90002-N","volume":"35","author":"N.C. Ho","year":"1990","unstructured":"Ho, N.C., Wechler, W.: Hedge Algebras: An Algebraic Approach to Structure of Sets of Linguistic Truth Values. Fuzzy Sets and Systems\u00a035, 281\u2013293 (1990)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0165-0114(92)90237-X","volume":"52","author":"N.C. Ho","year":"1992","unstructured":"Ho, N.C., Wechler, W.: Extended Hedge Algebras and Their Application to Fuzzy Logic. Fuzzy Sets and Systems\u00a052, 259\u2013281 (1992)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR5","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/GRC.2005.1547266","volume-title":"Proc. of 2005 IEEE International Conference on Granular Computing","author":"J. Liu","year":"2005","unstructured":"Liu, J., et al.: A Lattice-Valued Linguistic-Based Decision-Making Method. In: Proc. of 2005 IEEE International Conference on Granular Computing, pp. 199\u2013202. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"36_CR6","doi-asserted-by":"publisher","first-page":"628","DOI":"10.1016\/j.fss.2005.10.008","volume":"157","author":"J. Ma","year":"2006","unstructured":"Ma, J., Chen, S., Xu, Y.: Fuzzy Logic from the Viewpoint of Machine Intelligence. Fuzzy Sets and Systems\u00a0157, 628\u2013634 (2006)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k, V., Perfilieva, I., Mo\u010dko\u0159, J.: Mathematical Principles of Fuzzy Logic. Kluwer, Dordrecht (1999)"},{"issue":"3","key":"36_CR8","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.fss.2005.05.029","volume":"156","author":"V. Nov\u00e1k","year":"2005","unstructured":"Nov\u00e1k, V.: Are Fuzzy Sets a Reasonable Tool for Modelling Vague Phenomena. Fuzzy Sets and Systems\u00a0156(3), 341\u2013348 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"36_CR9","doi-asserted-by":"crossref","unstructured":"Pei, Z., Xu, Y.: Lattice Implication Algebra Model of a Kind of Linguistic Terms and Its Inference. In: Proc. of the 6th International FLINS Conference, pp. 93\u201398 (2004)","DOI":"10.1142\/9789812702661_0020"},{"key":"36_CR10","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"1995","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"36_CR11","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1109\/91.669029","volume":"6","author":"I.B. Truksen","year":"1998","unstructured":"Truksen, I.B., Kandel, A., Zhang, Y.Q.: Universal Truth Tables and Normal Forms. IEEE Trans. Fuzzy Systems\u00a06, 295\u2013303 (1998)","journal-title":"IEEE Trans. Fuzzy Systems"},{"key":"36_CR12","doi-asserted-by":"crossref","unstructured":"Truksen, I.B.: Computing with Descriptive and Verisic Words. In: Proc. of NAFIP\u201999, pp. 13\u201317 (2004)","DOI":"10.1109\/NAFIPS.1999.781643"},{"key":"36_CR13","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/S0020-0255(00)00069-4","volume":"130","author":"Y. Xu","year":"2000","unstructured":"Xu, Y., et al.: \u03b1- Resolution Principle Based on Lattice-Valued Propositional Logic LP(X). Information Sciences\u00a0130, 195\u2013223 (2000)","journal-title":"Information Sciences"},{"key":"36_CR14","doi-asserted-by":"crossref","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., et al.: Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability. Springer, New York (2003)"},{"key":"36_CR15","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1002\/int.20129","volume":"21","author":"Y. Xu","year":"2006","unstructured":"Xu, Y., et al.: On the Consistency of Rule Bases Based on Lattice-Valued First-Order Logic LF(X). Int. J. Intelligent Systems\u00a021, 399\u2013424 (2006)","journal-title":"Int. J. Intelligent Systems"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Xu, Y., Chen, S.W., Ma, J.: Linguistic Truth-Valued Lattice Implication Algebra and Its Properties. In: Proc. CESA\u201906 (2006)","DOI":"10.1109\/CESA.2006.4281859"}],"container-title":["Advances in Soft Computing","Theoretical Advances and Applications of Fuzzy Logic and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72434-6_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T13:50:17Z","timestamp":1737467417000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_36","relation":{},"subject":[]}}