{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T16:24:29Z","timestamp":1649003069180},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,7,8]],"date-time":"2005-07-08T00:00:00Z","timestamp":1120780800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2006,1]]},"DOI":"10.1007\/s00500-004-0431-2","type":"journal-article","created":{"date-parts":[[2005,7,7]],"date-time":"2005-07-07T07:02:21Z","timestamp":1120719741000},"page":"115-118","source":"Crossref","is-referenced-by-count":2,"title":["A 16-classification partition of formula set F(S) in revised Kleene system $$\\bar W$$"],"prefix":"10.1007","volume":"10","author":[{"given":"Cheng","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guojun","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenyan","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,8]]},"reference":[{"key":"431_CR1","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","volume":"40","author":"D Dubois","year":"1991","unstructured":"Dubois D, Lang J, Prade H (1991) Fuzzy sets in approximate reasoning Part 2: logical approaches. Fuzzy Sets Syst 40:203\u2013244","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR2","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF02919682","volume":"41","author":"GJ Wang","year":"1998","unstructured":"Wang GJ (1998) Theory of \u03a3-(\u03b1-tautologies) in revised Kleene systems. Sci China Ser E 41:188\u2013195","journal-title":"Sci China Ser E"},{"key":"431_CR3","volume-title":"Non-classical mathematical logic and approximate reasoning (in Chinese)","author":"GJ Wang","year":"2000","unstructured":"Wang GJ (2000) Non-classical mathematical logic and approximate reasoning (in Chinese). Science Press, Beijing"},{"key":"431_CR4","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0020-0255(98)10103-2","volume":"117","author":"GJ Wang","year":"1999","unstructured":"Wang GJ (1999) On the logic foundation of fuzzy reasoning. Inf Sci 117:47\u201388","journal-title":"Inf Sci"},{"key":"431_CR5","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0020-0255(01)00131-1","volume":"138","author":"GJ Wang","year":"2001","unstructured":"Wang GJ, Wang H (2001) Non-fuzzy versions of fuzzy reasoning in classical logics. Inf Sci 138:211\u2013236","journal-title":"Inf Sci"},{"key":"431_CR6","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/0165-0114(94)00210-X","volume":"69","author":"JC Fodor","year":"1995","unstructured":"Fodor JC (1995) Contrapositive symmetry of fuzzy implications. Fuzzy Sets Syst 69:141\u2013156","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR7","doi-asserted-by":"crossref","unstructured":"Fodor J (1995) Nilpotent minimum and related connectives for fuzzy logic. Proc Fuzzy-IEEE\u201995, pp 2077\u20132082","DOI":"10.1109\/FUZZY.1995.409964"},{"key":"431_CR8","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 (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht"},{"key":"431_CR9","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 a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271\u2013288","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR10","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1016\/S0165-0114(01)00215-9","volume":"131","author":"R Cignoli","year":"2002","unstructured":"Cignoli R, Esteva F, Godo L, Montagna F (2002) On a class of left-continuous t-norms. Fuzzy Sets Syst 131:283\u2013296","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR11","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0165-0114(98)00167-5","volume":"101","author":"EP Klement","year":"1999","unstructured":"Klement EP, Navara M (1999) A survey on different triangular norm-based fuzzy logics. Fuzzy Sets Syst 101:241\u2013251","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR12","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/S0165-0114(02)00053-2","volume":"131","author":"DW Pei","year":"2002","unstructured":"Pei DW (2002) R0 implication: characteristics and applications. Fuzzy Sets Syst 131:297\u2013302","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR13","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","volume":"138","author":"DW Pei","year":"2003","unstructured":"Pei DW (2003) On equivalent forms of fuzzy logic systems NM and IMTL. Fuzzy Sets Syst 138:187\u2013195","journal-title":"Fuzzy Sets Syst"},{"key":"431_CR14","first-page":"521","volume":"47","author":"LC Wang","year":"2004","unstructured":"Wang LC, Wang GJ (2004) Subalgebra and generalized tautology of R0-Algebra in [0,1] (in Chinese). Acta Math Sin 47:521\u2013526","journal-title":"Acta Math Sin"},{"key":"431_CR15","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BF02916699","volume":"44","author":"HB Wu","year":"2001","unstructured":"Wu HB (2001) Theory of generalized tautology in revised Kleene system. Sci China Ser E 44:233\u2013238","journal-title":"Sci China Ser E"},{"key":"431_CR16","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1007\/BF02882630","volume":"42","author":"GJ Wang","year":"1997","unstructured":"Wang GJ (1997) A formal deductive system for fuzzy propositional calculus (in Chinese). Chinese Sci Bull 42:1041\u20131045","journal-title":"Chinese Sci Bull"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0431-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00500-004-0431-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-004-0431-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T01:38:07Z","timestamp":1559093887000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00500-004-0431-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,7,8]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,1]]}},"alternative-id":["431"],"URL":"https:\/\/doi.org\/10.1007\/s00500-004-0431-2","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"value":"1432-7643","type":"print"},{"value":"1433-7479","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,7,8]]}}}