{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:23:16Z","timestamp":1725492196298},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714408"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71441-5_18","type":"book-chapter","created":{"date-parts":[[2007,7,5]],"date-time":"2007-07-05T17:14:41Z","timestamp":1183655681000},"page":"159-169","source":"Crossref","is-referenced-by-count":0,"title":["Generalized Root of Theories in Propositional Fuzzy Logical Systems"],"prefix":"10.1007","author":[{"given":"Jiancheng","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Shuili","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"A Treatise on Many-Valued Logics and Computation","author":"S. Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics and Computation. Research Studies Press, Baldock (2001)"},{"key":"18_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"18_CR3","volume-title":"Logic for Mathematicians","author":"A.G. Hamilton","year":"1978","unstructured":"Hamilton, A.G.: Logic for Mathematicians. Cambridge Univ. Press, London (1978)"},{"key":"18_CR4","volume-title":"Introduction to Mathematical Logic and Resolution Principle","author":"G.J. Wang","year":"2003","unstructured":"Wang, G.J.: Introduction to Mathematical Logic and Resolution Principle (in Chinese). Science in China Press, Beijing (2003)"},{"key":"18_CR5","volume-title":"Theory of Non-classical Mathematical Logic and Approximate Reasoning","author":"G.J. Wang","year":"2000","unstructured":"Wang, G.J.: Theory of Non-classical Mathematical Logic and Approximate Reasoning (in Chinese). China Press, Beijing (2000)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0020-0255(01)00131-1","volume":"138","author":"G.J. Wang","year":"2001","unstructured":"Wang, G.J.: Non-fuzzy versions of fuzzy reasoning in classical logics. Information Sciences\u00a0138, 211\u2013236 (2001)","journal-title":"Information Sciences"},{"key":"18_CR7","first-page":"565","volume":"32","author":"H.B. Wu","year":"2003","unstructured":"Wu, H.B.: Basic R\n                           \n                    o\n                   -algebra and basic logic system L\n                           \u2009\u2217\u2009. Process in Mathematics\u00a032, 565\u2013576 (2003)","journal-title":"Process in Mathematics"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"1521","DOI":"10.1007\/BF02882922","volume":"42","author":"G.J. Wang","year":"1997","unstructured":"Wang, G.J.: A formal deductive system for fuzzy propositional calculus. Chinese sci. Bull.\u00a042, 1521\u20131526 (1997)","journal-title":"Chinese sci. Bull."},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1002\/malq.19790250706","volume":"25","author":"J. Pavelka","year":"1979","unstructured":"Pavelka, J.: On fuzzy logic II-Enriched residuated lattices and semantics of propositional calculi. Zeitschr. f. Math. Logik und Grundlagen d. Math.\u00a025, 119\u2013134 (1979)","journal-title":"Zeitschr. f. Math. Logik und Grundlagen d. Math."},{"key":"18_CR10","doi-asserted-by":"publisher","first-page":"1521","DOI":"10.1007\/BF02882922","volume":"42","author":"G.J. Wang","year":"1997","unstructured":"Wang, G.J.: A formal deductive system for fuzzy propositional calculus. Chinese science Bulletin\u00a042, 1521\u20131525 (1997)","journal-title":"Chinese science Bulletin"},{"issue":"1","key":"18_CR11","first-page":"34","volume":"15","author":"D.W. Pei","year":"2001","unstructured":"Pei, D.W.: The operation \u2297 and dedutive theorem in the formal deductive system L\n                           *. Fuzzy syste. Math.\u00a015(1), 34\u201339 (2001)","journal-title":"Fuzzy syste. Math."}],"container-title":["Advances in Soft Computing","Fuzzy Information and Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71441-5_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:20:24Z","timestamp":1605763224000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71441-5_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540714408"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71441-5_18","relation":{},"subject":[]}}