{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T20:24:51Z","timestamp":1648585491825},"reference-count":8,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1080\/11663081.1998.10510951","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:11:11Z","timestamp":1338365471000},"page":"353-360","source":"Crossref","is-referenced-by-count":2,"title":["An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics"],"prefix":"10.1080","volume":"8","author":[{"given":"Jinzhao","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyan","family":"Tan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongli","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Introduction to Many-valued Logics, Routledge and Kegan Paul, London","author":"Ackermann: R.","year":"1967"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Chazarain, J., Riscos, A., Alonso, J. A. and Briales: E. 1991.Multi-Valued Logic and Gr\u00f6bner Bases with Applications to Modal Logic.Vol. 11, 181\u2013194. J. Symbolic Computation","DOI":"10.1016\/S0747-7171(08)80043-0"},{"key":"CIT0003","volume-title":"Automated Deduction in Multiple-valued Logics","author":"H\u00e4hnle: R.","year":"1993"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"Hsiang: J. 1985.Refutational Theorem Proving using Term-Rewriting SystemsVol. 25, 255\u2013300. Artificial Intelligence","DOI":"10.1016\/0004-3702(85)90074-8"},{"key":"CIT0005","volume-title":"An Equational Approach to Theorem Proving in First-Order Predicate Calculus, 84CRD322, GE Research Lab","author":"Kapur D.","year":"1985"},{"key":"CIT0006","volume-title":"Introduction to Metamathematics, New York, Van Nos-trand","author":"Kleene: S. C.","year":"1964"},{"issue":"3","key":"CIT0007","first-page":"207","volume":"4","author":"Wu: W. T.","journal-title":"J. Sys. Sci. and Math. Sci."},{"key":"CIT0008","unstructured":"Wu: W. T. 1987.A Zero Structure Theorem for Polynomial Equations- SolvingVol. 1, 2\u201312. MM-Res. Preprints"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,29]],"date-time":"2019-06-29T07:07:56Z","timestamp":1561792076000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1998.10510951"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["10.1080\/11663081.1998.10510951"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1998.10510951","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}