{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T12:55:34Z","timestamp":1782219334016,"version":"3.54.5"},"reference-count":25,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,11,13]],"date-time":"2006-11-13T00:00:00Z","timestamp":1163376000000},"content-version":"vor","delay-in-days":5795,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"},{"start":{"date-parts":[[1991,1,1]],"date-time":"1991-01-01T00:00:00Z","timestamp":662688000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mathematical Logic Qtrly"],"published-print":{"date-parts":[[1991,1]]},"DOI":"10.1002\/malq.19910370903","type":"journal-article","created":{"date-parts":[[2007,5,26]],"date-time":"2007-05-26T05:49:29Z","timestamp":1180158569000},"page":"139-148","source":"Crossref","is-referenced-by-count":76,"title":["The Paraconsistent Logics P\n                    <i>J<\/i>"],"prefix":"10.1002","volume":"37","author":[{"given":"Newton C. A.","family":"da Costa","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlo","family":"Vago","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2006,11,13]]},"reference":[{"key":"e_1_2_1_2_2","first-page":"1","volume-title":"Mathematical Logic in Latin America","author":"Arruda A. I.","year":"1979"},{"key":"e_1_2_1_3_2","first-page":"8","volume-title":"Modern Uses of Multivalued Logic","author":"Belnap N. D.","year":"1977"},{"key":"e_1_2_1_4_2","doi-asserted-by":"crossref","unstructured":"Blair H. A. andV. S.Subrahmanian Paraconsistent logic programming. In: Proc. 7th Conference on Foundations of Software Technology and Theoretical Computer Science Springer Lecture Notes in Computer Science 287 (1987) 340\u2013360.","DOI":"10.1007\/3-540-18625-5_59"},{"key":"e_1_2_1_4_3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","year":"1989","journal-title":"Theoretical Computer Science"},{"key":"e_1_2_1_5_2","unstructured":"Blair H. A. andV. S.Subrahmanian Strong completeness results for paraconsistent logic programming. Submitted."},{"key":"e_1_2_1_6_2","first-page":"45","article-title":"Paraconsistent foundations for logic programming","volume":"5","author":"Blair H. A.","year":"1988","journal-title":"J. Non\u2010Classical Logic"},{"key":"e_1_2_1_7_2","first-page":"479","article-title":"On the theory of inconsistent formal systems","volume":"15","author":"da Costa N. C. A.","year":"1974","journal-title":"Notre Dame J. Formal Logic"},{"key":"e_1_2_1_8_2","article-title":"\u03b1\u2010models and the systems T and T*","volume":"15","author":"da Costa N. C. A.","year":"1974","journal-title":"Notre Dame J. Formal Logic"},{"key":"e_1_2_1_9_2","first-page":"621","article-title":"A semantical analysis of the calculi \n                     n","volume":"18","author":"da Costa N. C. A.","year":"1977","journal-title":"Notre Dame J. Formal Logic"},{"key":"e_1_2_1_10_2","first-page":"185","article-title":"Relations between paraconsistent logic and many\u2010valued logic","volume":"10","author":"da Costa N. C. A.","year":"1981","journal-title":"Bulletin Section of Logic"},{"key":"e_1_2_1_11_2","volume-title":"Logica Nova","author":"da Costa N. C. A."},{"key":"e_1_2_1_12_2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0933-3657(89)90031-6","article-title":"Paraconsistent logics as a formalism for reasoning about inconsistent knowledge bases","volume":"1","author":"da Costa N. C. A.","year":"1989","journal-title":"J. Artificial Intelligence in Medicine"},{"key":"e_1_2_1_13_2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","article-title":"A Kripke\u2010Kleene semantics for logic programming","volume":"4","author":"Fitting M. C.","year":"1985","journal-title":"J. Logic Programming"},{"key":"e_1_2_1_14_2","article-title":"Bilattices and the theory of truth","author":"Fitting M. C.","journal-title":"J. Philosophical Logic."},{"key":"e_1_2_1_15_2","doi-asserted-by":"crossref","first-page":"209","DOI":"10.3233\/FI-1988-11206","article-title":"Logic programming on a topological bilattice","volume":"11","author":"Fitting M. C.","year":"1988","journal-title":"Fund. Informatica"},{"key":"e_1_2_1_16_2","article-title":"Bilattices and the semantics of logic programming","author":"Fitting M. C.","journal-title":"J. Logic Programming"},{"key":"e_1_2_1_17_2","unstructured":"Kifer M. andE.Lozinskii RI: A Logic for reasoning with inconsistency. In: Proc. 4th Sym p.on Logic in Computer Science Asilomar C June1989."},{"key":"e_1_2_1_18_2","unstructured":"Kifer M. andT.Krishnaprasad An evidence based framework for a theory of inheritance. In: 1989 International Joint Conference on Artificial Intelligence August1989 Morgan\u2010Kauffman."},{"key":"e_1_2_1_19_2","first-page":"1069","volume-title":"Proc. 1989 North American Conference on Logic Programming","author":"Kifer M.","year":"1989"},{"key":"e_1_2_1_20_2","unstructured":"Kifer M. T.KrishnaprasadandD. S.Warren On the declarative semantics of inheritance networks. In: 1989 International Joint Conference on Artificial Intelligence August1989 Morgan\u2010Kauffman."},{"key":"e_1_2_1_21_2","doi-asserted-by":"crossref","unstructured":"Kifer M. andJ.Wu A logic for object oriented logic programming. In: Proc. 8th ACM SIGACT\/SIGMOD\/SIGART Symp. on Principles of Database Systems Philadelphia 1989 pp.379\u2013393.","DOI":"10.1145\/73721.73758"},{"key":"e_1_2_1_22_2","first-page":"173","volume-title":"Proc. 4th IEEE Symposium on Logic Programming","author":"Subrahmanian V. S.","year":"1987"},{"key":"e_1_2_1_23_2","series-title":"Springer Lecture Notes in Computer Science 310","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/BFb0012824","volume-title":"Proc. 9th International Conference on Automated Deduction","author":"Subrahmanian V. S.","year":"1988"},{"key":"e_1_2_1_24_2","article-title":"Mechanical proof procedures for many valued lattice based logic programming","author":"Subrahmanian V. S.","journal-title":"J. Non\u2010Classical Logic"},{"key":"e_1_2_1_25_2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","article-title":"Quantitative deduction and its fixpoint theory","volume":"4","author":"van Emden M. H.","year":"1986","journal-title":"J. Logic Programming"}],"container-title":["Mathematical Logic Quarterly"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fmalq.19910370903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19910370903","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/malq.19910370903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T12:35:17Z","timestamp":1782218117000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/malq.19910370903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,1]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1991,1]]}},"alternative-id":["10.1002\/malq.19910370903"],"URL":"https:\/\/doi.org\/10.1002\/malq.19910370903","archive":["Portico"],"relation":{},"ISSN":["0942-5616","1521-3870"],"issn-type":[{"value":"0942-5616","type":"print"},{"value":"1521-3870","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,1]]}}}