{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:26:39Z","timestamp":1725492399353},"publisher-location":"Berlin, Heidelberg","reference-count":28,"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_64","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T09:54:51Z","timestamp":1191923691000},"page":"629-639","source":"Crossref","is-referenced-by-count":0,"title":["Satisfiability in a Linguistic-Valued Logic and Its Quasi-horn Clause Inference Framework"],"prefix":"10.1007","author":[{"given":"Jun","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Martinez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhirui","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"64_CR1","first-page":"23","volume":"12","author":"J.P. Robinson","year":"1965","unstructured":"Robinson, J.P.: A machine-oriented logic based on the resolution principle. J. of A.C.M.\u00a012, 23\u201341 (1965)","journal-title":"J. of A.C.M."},{"key":"64_CR2","first-page":"109","volume":"19","author":"R.C.T. Lee","year":"1972","unstructured":"Lee, R.C.T.: Fuzzy logic and the resolution principle. Journal of A.C.M.\u00a019, 109\u2013119 (1972)","journal-title":"Journal of A.C.M."},{"key":"64_CR3","first-page":"68","volume-title":"Proc. of the 5th IEEE Inter. Symp. on Multiple-Valued Logic (ISMVL\u00b485), Kingstion, Canada","author":"X.H. Liu","year":"1985","unstructured":"Liu, X.H., Xiao, H.: Operator fuzzy logic and fuzzy resolution. In: Proc. of the 5th IEEE Inter. Symp. on Multiple-Valued Logic (ISMVL\u00b485), Kingstion, Canada, pp. 68\u201375. IEEE, Los Alamitos (1985)"},{"key":"64_CR4","first-page":"224","volume-title":"Fuzzy Sets and Possibility Theory","author":"M. Mukaidono","year":"1982","unstructured":"Mukaidono, M.: Fuzzy inference of resolution style. In: Yager, R.R. (ed.) Fuzzy Sets and Possibility Theory, pp. 224\u2013231. Pergamon Press, New York (1982)"},{"issue":"1","key":"64_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","volume":"4","author":"D. Dubois","year":"1990","unstructured":"Dubois, D., Prade, H.: Resolution principle in possibilistic logic. Int. J. of Approximate Reasoning\u00a04(1), 1\u201321 (1990)","journal-title":"Int. J. of Approximate Reasoning"},{"issue":"1","key":"64_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/BF00881864","volume":"10","author":"T.J. Weigert","year":"1993","unstructured":"Weigert, T.J., Tsai, J.P., Liu, X.H.: Fuzzy operator logic and fuzzy resolution. Journal of Automated Reasoning\u00a010(1), 59\u201378 (1993)","journal-title":"Journal of Automated Reasoning"},{"issue":"2","key":"64_CR7","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0165-0114(98)00063-3","volume":"113","author":"C.S. Kim","year":"2000","unstructured":"Kim, C.S., Kim, D.S., Park, J.S.: A new fuzzy resolution principle based on the antonym. Fuzzy Sets and Systems\u00a0113(2), 299\u2013307 (2000)","journal-title":"Fuzzy Sets and Systems"},{"issue":"74-76","key":"64_CR8","first-page":"311","volume":"19","author":"C.G. Morgan","year":"1976","unstructured":"Morgan, C.G.: Resolution for many-valued logics. Logique et Analyses\u00a019(74-76), 311\u2013339 (1976)","journal-title":"Logique et Analyses"},{"issue":"110","key":"64_CR9","first-page":"173","volume":"28","author":"E. Orlowska","year":"1985","unstructured":"Orlowska, E.: Mechanical proof methods for Post logics. Logique et Analyse\u00a028(110), 173\u2013192 (1985)","journal-title":"Logique et Analyse"},{"key":"64_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1007\/3-540-16780-3_90","volume-title":"8th International Conference on Automated Deduction","author":"P.H. Schmitt","year":"1986","unstructured":"Schmitt, P.H.: Computational aspects of three-valued logic. In: Siekmann, J.H. (ed.) 8th International Conference on Automated Deduction. LNCS, vol.\u00a0230, pp. 190\u2013198. Springer, Heidelberg (1986)"},{"key":"64_CR11","volume-title":"Automated Deduction in Multiple-Valued Logics","author":"R. Hahnle","year":"1993","unstructured":"Hahnle, R.: Automated Deduction in Multiple-Valued Logics. Oxford University Press, Oxford (1993)"},{"key":"64_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H.A. Blair","year":"1989","unstructured":"Blair, H.A., Subrahamnian, V.S.: Paraconsistent logic programming. Theoretical Computer Science\u00a068, 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"64_CR13","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahamnian, V.S.: Theory of generalized annotated logic programming and its application. Journal of Logic Programming\u00a012, 335\u2013367 (1992)","journal-title":"Journal of Logic Programming"},{"key":"64_CR14","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0020-0190(92)90053-X","volume":"44","author":"J.J. Lu","year":"1992","unstructured":"Lu, J.J., Henschen, L.J.: The completeness of gp-resolution for annotated logic. Inform. Process. Lett.\u00a044, 135\u2013140 (1992)","journal-title":"Inform. Process. Lett."},{"key":"64_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0013053","volume-title":"Logic Programming and Automated Reasoning","author":"M. Baaz","year":"1992","unstructured":"Baaz, M., Fermuller, C.G.: Resolution for many valued logics. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 107\u2013118. Springer, Heidelberg (1992)"},{"key":"64_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-1677-7","volume-title":"Resolution Proof Systems: An Algebraic Theory","author":"Z. Stachniak","year":"1996","unstructured":"Stachniak, Z.: Resolution Proof Systems: An Algebraic Theory. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"64_CR17","volume-title":"Fuzzy Sets, Logics, and Reasoning about Knowledge","author":"S. Lehmke","year":"1999","unstructured":"Lehmke, S.: A resolution-based axiomatisation of \u2018bold\u2019 propositional fuzzy logic. In: Dubois, D., Klement, E.P., Prade, H. (eds.) Fuzzy Sets, Logics, and Reasoning about Knowledge, Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"64_CR18","unstructured":"Sofronie-Stokkermans, V.: Chaining techniques for automated theorem proving in finitely-valued logics. In: Proc. of the 2000 ISMVL, Portland, Oregon, pp. 337\u2013344 (2000)"},{"key":"64_CR19","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":"64_CR20","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0020-0255(01)00065-2","volume":"132","author":"Y. Xu","year":"2001","unstructured":"Xu, Y., et al.: \u03b1-Resolution principle based on first-order lattice-valued logic LF(X). Information Sciences\u00a0132, 221\u2013239 (2001)","journal-title":"Information Sciences"},{"issue":"4","key":"64_CR21","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1109\/TFUZZ.2003.814859","volume":"11","author":"J. Liu","year":"2003","unstructured":"Liu, J., et al.: A resolution-like strategy based on a lattice-valued logic. IEEE Transactions on Fuzzy Systems\u00a011(4), 560\u2013567 (2003)","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"64_CR22","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BF00485654","volume":"19","author":"J.A. Goguen","year":"1969","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese\u00a019, 325\u2013373 (1969)","journal-title":"Synthese"},{"issue":"52","key":"64_CR23","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic I: Many-valued rules of inference, II: Enriched residuated lattices and semantics of propositional calculi, III: Semantical completeness of some many-valued propositional calculi. Zeitschr. F. Math. Logik und Grundlagend. Math., 25: 45-52, 119-134, 447-464 (1979)","journal-title":"Zeitschr. F. Math. Logik und Grundlagend. Math."},{"issue":"1","key":"64_CR24","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/BF00396907","volume":"46","author":"V. Novak","year":"1982","unstructured":"Novak, V.: First-order fuzzy logic. Studia Logica\u00a046(1), 87\u2013109 (1982)","journal-title":"Studia Logica"},{"key":"64_CR25","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, Heidelberg (July 2003)"},{"issue":"1","key":"64_CR26","first-page":"20","volume":"89","author":"Y. Xu","year":"1993","unstructured":"Xu, Y.: Lattice implication algebras (in Chinese). J. of Southwest Jiaotong Univ.\u00a089(1), 20\u201327 (1993)","journal-title":"J. of Southwest Jiaotong Univ."},{"key":"64_CR27","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"},{"issue":"6","key":"64_CR28","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"}],"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_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:14:03Z","timestamp":1619504043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72434-6_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724339"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72434-6_64","relation":{},"subject":[]}}