{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T14:55:15Z","timestamp":1648738515458},"reference-count":26,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1080\/11663081.2000.10510993","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:15:58Z","timestamp":1338365758000},"page":"121-143","source":"Crossref","is-referenced-by-count":0,"title":["On Theorem Proving in Annotated Logics"],"prefix":"10.1080","volume":"10","author":[{"given":"Mi","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinzhao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"A Theory of Resolution","author":"Bachmair L.","year":"1997"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Blair, H. A. and Subrahmanian, V. S. 1989.Paraconsistent Logic ProgrammingVol. 68, 135\u2013154. Theoretical Computer Science","DOI":"10.1016\/0304-3975(89)90126-6"},{"key":"CIT0003","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang C-L","year":"1973"},{"key":"CIT0004","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A. 1974.On the Theory of Inconsistent Formal SystemsVol. 15, 497\u2013510. Notre Dame J. of Formal Logic","DOI":"10.1305\/ndjfl\/1093891487"},{"key":"CIT0005","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A., Lu, J. J., Subrahmanian, V. S. and Henschen, L. J. 1990.Automated Theorem Proving in Paraconsistent Logics: Foundations and Experimental ResultsVol. 449, 72\u201386. LNCS","DOI":"10.1007\/3-540-52885-7_80"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"da Costa, N. C. A., Subrahmanian, V. S. and Vago, C. 1991.The Paraconsistent Logics PTVol. 37, 139\u2013148. Zeitschr. f. Math. Logik und Grundlagen d. Math.","DOI":"10.1002\/malq.19910370903"},{"key":"CIT0007","volume-title":"Ideals, Varieties, and Algorithms\u2014An Introduction to Computational Algebraic Geometry and Commutative Algebra","author":"Cox D.","year":"1997"},{"key":"CIT0008","volume-title":"Automated Deduction in Multiple-valued Logics","author":"H\u00e4hnle R.","year":"1993"},{"key":"CIT0009","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":"CIT0010","doi-asserted-by":"crossref","volume-title":"An Equational Approach to Theorem Proving in First-Order Predicate Calculus","author":"Kapur D.","DOI":"10.1145\/1012497.1012521"},{"key":"CIT0011","volume-title":"An Evidence Based Framework for a Theory of Inheritance, Proc. 11th International Joint Conf. on AI, 1093\u20131098","author":"Kifer M.","year":"1989"},{"key":"CIT0012","volume-title":"RI: A Logic for Reasoning with Inconsistency, Proc. IEEE 4th Annual Symp. on Logic in Computer Science, 253\u2013262","author":"Kifer M.","year":"1989"},{"key":"CIT0013","volume-title":"On the Expressive Power of Annotated Logic Programs, Proc. North American Conf. on Logic Programming, 1069\u20131089","author":"Kifer M.","year":"1989"},{"key":"CIT0014","volume-title":"A Logic for Object Oriented Logic Programming, Proc. 8th ACM Symp. on Principles of Database Systems, 379\u2013393","author":"Kifer M.","year":"1989"},{"key":"CIT0015","doi-asserted-by":"crossref","unstructured":"Kifer, M. and Subrahmanian, V. S. 1992.Theory of Generalized Annotated Logic Programming and its ApplicationsVol. 12, 335\u2013367. J. Logic Programming","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"CIT0016","volume-title":"Reasoning in Paraconsistent Logics","author":"Lu J. J.","year":"1991"},{"key":"CIT0017","volume-title":"Automated Deduction in Paraconsistent Logics, Ph.D. Dissertation, UMI order No. GAX92-29954, Northwestern Univ.","author":"Lu J. J.","year":"1992"},{"key":"CIT0018","doi-asserted-by":"crossref","unstructured":"Murray, N. V. 1982.Completely Non-Clausal Theorem ProvingVol. 18, 67\u201385. Artificial Intelligence","DOI":"10.1016\/0004-3702(82)90011-X"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Ng, Raymond and Subrahmanian, V. S. 1993.A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive DatabasesVol. 10, 191\u2013235. J. Automated Reasoning","DOI":"10.1007\/BF00881836"},{"key":"CIT0020","doi-asserted-by":"crossref","unstructured":"Slaney, J. K. and Lusk, E. L. 1990.Parallelizing the Closure Computation in Automated DeductionVol. 449, 28\u201339. LNCS","DOI":"10.1007\/3-540-52885-7_77"},{"key":"CIT0021","volume-title":"On the Semantics of Quantitative Logic, Proc. 4th IEEE Symp. on Logic Programming, 173\u2013182","author":"Subrahmanian V. S.","year":"1987"},{"key":"CIT0022","doi-asserted-by":"crossref","unstructured":"Subrahmanian, V. S. 1992.Paraconsistent Disjunctive Deductive DatabasesVol. 93, 115\u2013141. Theoret. Comput. Sci.","DOI":"10.1016\/0304-3975(92)90214-Z"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Wang, P. 1996.Parallel Polynomial Operations on SMPs: An OverviewVol. 21, 397\u2013410. J. Symbolic Comput.","DOI":"10.1006\/jsco.1996.0021"},{"issue":"6","key":"CIT0024","first-page":"608","volume":"39","author":"Wu J.","year":"1996","journal-title":"Sci. China (Ser. E)"},{"key":"CIT0025","volume-title":"An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics, Proc. of ISMVL, 272\u2013275","author":"Wu J.","year":"1994"},{"key":"CIT0026","doi-asserted-by":"crossref","unstructured":"Zhang, H. 1994.A New Method for the Boolean Ring Based Theorem ProvingVol. 17, 189\u2013211. J. of Symbolic Computation","DOI":"10.1006\/jsco.1994.1011"}],"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:08:45Z","timestamp":1561792125000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.2000.10510993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":26,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["10.1080\/11663081.2000.10510993"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2000.10510993","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}