{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T09:21:45Z","timestamp":1758273705730},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,3,6]],"date-time":"2014-03-06T00:00:00Z","timestamp":1394064000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fuzzy Optim Decis Making"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10700-014-9184-2","type":"journal-article","created":{"date-parts":[[2014,3,5]],"date-time":"2014-03-05T11:55:55Z","timestamp":1394020555000},"page":"357-367","source":"Crossref","is-referenced-by-count":14,"title":["A semantic study of the first-order predicate logic with uncertainty involved"],"prefix":"10.1007","volume":"13","author":[{"given":"Xingfang","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,3,6]]},"reference":[{"key":"9184_CR1","volume-title":"A primer of probability logic","author":"E Adams","year":"1998","unstructured":"Adams, E. (1998). A primer of probability logic. Stanford: CSLI Pulications."},{"issue":"2","key":"9184_CR2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/j.jal.2007.11.002","volume":"7","author":"C Campos","year":"2009","unstructured":"Campos, C., Cozman, F., & Luna, J. (2009). Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence. Journal of Applied Logic, 7(2), 137\u2013154.","journal-title":"Journal of Applied Logic"},{"issue":"12","key":"9184_CR3","doi-asserted-by":"crossref","first-page":"15582","DOI":"10.1016\/j.eswa.2011.05.030","volume":"38","author":"X Chen","year":"2011","unstructured":"Chen, X., & Ralescu, D. A. (2011). A note on truth value in uncertain logic. Expert Systems with Applications, 38(12), 15582\u201315586.","journal-title":"Expert Systems with Applications"},{"issue":"2","key":"9184_CR4","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"Cignoli, R., Esteva, F., Godo, L., & Torreas, A. (2000). Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, 4(2), 106\u2013112.","journal-title":"Soft Computing"},{"key":"9184_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0474-9","volume-title":"Probability logic in a coherent setting","author":"G Coletti","year":"2002","unstructured":"Coletti, G., & Scozzafava, R. (2002). Probability logic in a coherent setting. London: Kluwer."},{"issue":"3","key":"9184_CR6","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","volume":"17","author":"D Dubois","year":"1987","unstructured":"Dubois, D., & Prade, H. (1987). Necessity measure and resolution principle. IEEE Transactions on Man Cybenet, 17(3), 474\u2013478.","journal-title":"IEEE Transactions on Man Cybenet"},{"issue":"3","key":"9184_CR7","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., & Godo, L. (2001). Monoidal t-norm based logic: towards logic for left-continuous t-norms. Fuzzy Sets and Systems, 124(3), 271\u2013288.","journal-title":"Fuzzy Sets and Systems"},{"key":"9184_CR8","first-page":"65","volume":"69","author":"K G\u00f6del","year":"1932","unstructured":"G\u00f6del, K. (1932). Zum intuitionistischen Aussagenkalk\u00f6l. Anz. Akad. Wiss. Wien, 69, 65\u201366.","journal-title":"Anz. Akad. Wiss. Wien"},{"key":"9184_CR9","volume-title":"Sentential probability logic","author":"T Hailperin","year":"1996","unstructured":"Hailperin, T. (1996). Sentential probability logic. London: Associated University Presses."},{"key":"9184_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of fuzzy logic","author":"P Hajek","year":"1998","unstructured":"Hajek, P. (1998). Metamathematics of fuzzy logic. London: Kluwer."},{"issue":"1","key":"9184_CR11","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/s10700-009-9053-6","volume":"8","author":"X Li","year":"2009","unstructured":"Li, X., & Liu, B. (2009a). Foundation of credibilistic logic. Fuzzy Optimization and Decision Making, 8(1), 91\u2013102.","journal-title":"Fuzzy Optimization and Decision Making"},{"issue":"2","key":"9184_CR12","first-page":"83","volume":"3","author":"X Li","year":"2009","unstructured":"Li, X., & Liu, B. (2009b). Hybrid logic and uncertain logic. Journal of Uncertain Systems, 3(2), 83\u201394.","journal-title":"Journal of Uncertain Systems"},{"key":"9184_CR13","volume-title":"Uncertainty theory","author":"B Liu","year":"2007","unstructured":"Liu, B. (2007). Uncertainty theory (2nd ed.). Berlin: Springer.","edition":"2"},{"issue":"1","key":"9184_CR14","first-page":"3","volume":"3","author":"B Liu","year":"2009","unstructured":"Liu, B. (2009a). Some research problems in uncertainty theory. Journal of Uncertain Systems, 3(1), 3\u201310.","journal-title":"Journal of Uncertain Systems"},{"issue":"4","key":"9184_CR15","first-page":"243","volume":"3","author":"B Liu","year":"2009","unstructured":"Liu, B. (2009b). Uncertain entailment and modus ponens in the framework of uncertain logic. Journal of Uncertain System, 3(4), 243\u2013251.","journal-title":"Journal of Uncertain System"},{"key":"9184_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-13959-8","volume-title":"Uncertainty theory: A branch of mathematics for modeling human uncertainty","author":"B Liu","year":"2010","unstructured":"Liu, B. (2010). Uncertainty theory: A branch of mathematics for modeling human uncertainty. Berlin: Springer."},{"key":"9184_CR17","unstructured":"Liu, B. (2013). Uncertainty theory, 4th Edn. http:\/\/orsc.edu.cn\/liu ."},{"key":"9184_CR18","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N Nilsson","year":"1986","unstructured":"Nilsson, N. (1986). Probability logic. Artificial Intelligence, 28, 71\u201378.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9184_CR19","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"D Pei","year":"2003","unstructured":"Pei, D. (2003). On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets and Systems, 138(1), 187\u2013195.","journal-title":"Fuzzy Sets and Systems"},{"issue":"10","key":"9184_CR20","first-page":"1041","volume":"42","author":"G Wang","year":"1997","unstructured":"Wang, G. (1997). A formal deduction system of fuzzy propositional calculation. Science in China Series E-information Sciences, 42(10), 1041\u20131044.","journal-title":"Science in China Series E-information Sciences"},{"key":"9184_CR21","doi-asserted-by":"crossref","first-page":"3169","DOI":"10.1016\/j.fss.2006.05.008","volume":"157","author":"S Wang","year":"2006","unstructured":"Wang, S., & Wang, M. (2006). Disjunctive elimination rule and its application in MTL. Fuzzy Sets and Systems, 157, 3169\u20133176.","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Fuzzy Optimization and Decision Making"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10700-014-9184-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10700-014-9184-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10700-014-9184-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:01:18Z","timestamp":1559253678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10700-014-9184-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,6]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9184"],"URL":"https:\/\/doi.org\/10.1007\/s10700-014-9184-2","relation":{},"ISSN":["1568-4539","1573-2908"],"issn-type":[{"value":"1568-4539","type":"print"},{"value":"1573-2908","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,6]]}}}