{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:11:35Z","timestamp":1725559895607},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540283126"},{"type":"electronic","value":"9783540318309"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11539506_5","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T14:15:58Z","timestamp":1279721758000},"page":"31-41","source":"Crossref","is-referenced-by-count":0,"title":["A Propositional Calculus Formal Deductive System $\\mathcal{L}^{U}$ of Universal Logic and Its Completeness"],"prefix":"10.1007","author":[{"given":"Minxia","family":"Luo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huacan","family":"He","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"1","volume":"9","author":"L. Hongxing","year":"1995","unstructured":"Hongxing, L.: To see the success of fuzzy logic from mathematical essence of fuzzy control-on the paradoxical sussess of fuzzy logic. Fuzzy systems and mathematics\u00a09, 1\u201314 (1995) (in chinese)","journal-title":"Fuzzy systems and mathematics"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","volume":"87","author":"P.A. Rose","year":"1958","unstructured":"Rose, P.A., Rosser, J.B.: Fragments of many valued statement calculi. Trant.A.M.S.\u00a087, 1\u201353 (1958)","journal-title":"Trant.A.M.S."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M. Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. Journal of Symbolic Logic\u00a024, 97\u2013106 (1959)","journal-title":"Journal of Symbolic Logic"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P. H\u00e1jek","year":"1996","unstructured":"H\u00e1jek, P., Godo, L., Esteva, F.: A complete many-valued logic with product conjunction. Archive for Mathematical Logic\u00a035, 191\u2013208 (1996)","journal-title":"Archive for Mathematical Logic"},{"key":"5_CR5","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":"5_CR6","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1007\/BF02882922","volume":"42","author":"W. Guojun","year":"1997","unstructured":"Guojun, W.: A formal deductive system of fuzzy propositional calculus. Chinese Science Bulletin\u00a042, 1041\u20131045 (1997) (in chinese)","journal-title":"Chinese Science Bulletin"},{"key":"5_CR7","first-page":"43","volume":"29","author":"W. Guojun","year":"1999","unstructured":"Guojun, W.: The full implication triple I method for fuzzy reasoning. Science in China(Series E)\u00a029, 43\u201353 (1999) (in chinese)","journal-title":"Science in China(Series E)"},{"key":"5_CR8","first-page":"40","volume":"45","author":"P. Daowu","year":"2002","unstructured":"Daowu, P., Guojun, W.: The completeness and applications of the formal system L*. Science in China(Series F)\u00a045, 40\u201350 (2002)","journal-title":"Science in China(Series F)"},{"key":"5_CR9","first-page":"745","volume":"45","author":"P. Daowu","year":"2002","unstructured":"Daowu, P.: A logic system based on strong regular residuated lattices and its completeness. Acta Mathematica Sinica\u00a045, 745\u2013752 (2002) (in chinese)","journal-title":"Acta Mathematica Sinica"},{"key":"5_CR10","volume-title":"Principle of Universal Logic","author":"H. Huacan","year":"2001","unstructured":"Huacan, H.: Principle of Universal Logic. Chinese Scientific Press, Beijing (2001) (in chinese)"},{"key":"5_CR11","first-page":"95","volume":"31","author":"L. Minxia","year":"2004","unstructured":"Minxia, L., Huacan, H.: The formal deductive system B of universal logic in the ideal condition. Science of Computer\u00a031, 95\u201398 (2004) (in chinese)","journal-title":"Science of Computer"},{"key":"5_CR12","unstructured":"Minxia, L., Huacan, H.: The completeness of the formal deductive system  B of universal logic in the ideal condition. Science of computer(in chinese) (in press)"},{"key":"5_CR13","unstructured":"Minxia, L., Huacan, H.: Some algebraic properties about the 0-level universal operation model of universal logic. Fuzzy systems and Mathematics(in chinese)(in press)"}],"container-title":["Lecture Notes in Computer Science","Fuzzy Systems and Knowledge Discovery"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11539506_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:53Z","timestamp":1605644213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11539506_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540283126","9783540318309"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11539506_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}