{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,27]],"date-time":"2024-08-27T13:08:58Z","timestamp":1724764138735},"reference-count":18,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2007,7,1]],"date-time":"2007-07-01T00:00:00Z","timestamp":1183248000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":2208,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Approximate Reasoning"],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1016\/j.ijar.2006.06.011","type":"journal-article","created":{"date-parts":[[2006,8,15]],"date-time":"2006-08-15T08:27:48Z","timestamp":1155630468000},"page":"271-287","source":"Crossref","is-referenced-by-count":44,"title":["Non-deterministic semantics for logics with a consistency operator"],"prefix":"10.1016","volume":"45","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ijar.2006.06.011_bib1","series-title":"Proceedings of the 1st International Joint Conference on Automated Reasoning (IJCAR 2001)","first-page":"529","article-title":"Canonical propositional Gentzen-type systems","author":"Avron","year":"2001"},{"key":"10.1016\/j.ijar.2006.06.011_bib2","series-title":"Proceedings of the 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004)","first-page":"282","article-title":"Non-deterministic matrices","author":"Avron","year":"2004"},{"key":"10.1016\/j.ijar.2006.06.011_bib3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","article-title":"Non-deterministic multiple-valued structures","volume":"15","author":"Avron","year":"2005","journal-title":"Journal of Logic and Computation"},{"issue":"10","key":"10.1016\/j.ijar.2006.06.011_bib4","first-page":"365","article-title":"Multi-valued calculi for logics based on non-determinism","author":"Avron","year":"2005","journal-title":"Journal of the Interest Group in Pure and Applied Logic"},{"key":"10.1016\/j.ijar.2006.06.011_bib5","series-title":"Logica Universalis","first-page":"149","article-title":"Non-deterministic matrices and modular semantics of rules","author":"Avron","year":"2005"},{"key":"10.1016\/j.ijar.2006.06.011_bib6","first-page":"29","article-title":"Embedding interpolation for some paralogics. The propositional case","volume":"33","author":"Batens","year":"1999","journal-title":"Reports on Mathematical Logic"},{"key":"10.1016\/j.ijar.2006.06.011_bib7","series-title":"Frontiers of Paraconsistent Logic","year":"2000"},{"key":"10.1016\/j.ijar.2006.06.011_bib8","first-page":"333","article-title":"Elimination of cuts in first-order finite-valued logics","volume":"29","author":"Baaz","year":"1994","journal-title":"Information Processing Cybernetics"},{"key":"10.1016\/j.ijar.2006.06.011_bib9","series-title":"An Introduction to Paraconsistent Logics","author":"Bremer","year":"2005"},{"key":"10.1016\/j.ijar.2006.06.011_bib10","unstructured":"W.A. Carnielli, Possible-translations Semantics for Paraconsistent Logics, in [7], pp. 149\u2013163."},{"key":"10.1016\/j.ijar.2006.06.011_bib11","series-title":"Proceedings of the 15th International Conference on Artificial Intelligence and the 10th Conference on Innovative Applications of Artificial Intelligence","first-page":"286","article-title":"A non-deterministic semantics for tractable inference","author":"Crawford","year":"1998"},{"key":"10.1016\/j.ijar.2006.06.011_bib12","unstructured":"W.A. Carnielli, J. Marcos, A taxonomy of C-systems, in [14], 1\u201394."},{"key":"10.1016\/j.ijar.2006.06.011_bib13","doi-asserted-by":"crossref","unstructured":"W.A. Carnielli, M.E. Coniglio, J. Marcos, Logics of formal inconsistency, in: D. Gabbay, F. Guenthner (Eds.), Handbook of Philosophical Logic, second ed., vol. 14, Kluwer Academic Publishers, in press.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"10.1016\/j.ijar.2006.06.011_bib14","series-title":"Paraconsistency\u2014the logical way to the inconsistent Lecture Notes in Pure and Applied Mathematics","year":"2002"},{"key":"10.1016\/j.ijar.2006.06.011_bib15","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","article-title":"On the theory of inconsistent formal systems","volume":"15","author":"da Costa","year":"1974","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10.1016\/j.ijar.2006.06.011_bib16","unstructured":"N.C.A. da Costa, D. Krause, O. Bueno, Paraconsistent logics and paraconsistency: technical and philosophical developments, in: Dale Jacquette (Ed.), Handbook of the Philosophy of Science, Philosophy of Logic, vol. 5, Amsterdam, North-Holland, in press."},{"key":"10.1016\/j.ijar.2006.06.011_bib17","unstructured":"J.P. Delgrande, J. Mylopoulos, Knowledge representation: features of knowledge, in: J.P. Haton (Ed.), Fundamentals in Man\u2013Machine Communication: Speech, Vision, and Natural Language, Cambridge University Press, 1986. Reprinted in Fundamentals of Artificial Intelligence (W. Bibel et al., (Eds.)), Springer-Verlag, 1987, pp. 1\u201336."},{"key":"10.1016\/j.ijar.2006.06.011_bib18","series-title":"Handbook of Tableau Methods","first-page":"529","article-title":"Tableaux for multiple-valued logics","author":"H\u00e4hnle","year":"1999"}],"container-title":["International Journal of Approximate Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X06000636?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X06000636?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,1,14]],"date-time":"2019-01-14T03:53:45Z","timestamp":1547438025000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0888613X06000636"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":18,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,7]]}},"alternative-id":["S0888613X06000636"],"URL":"https:\/\/doi.org\/10.1016\/j.ijar.2006.06.011","relation":{},"ISSN":["0888-613X"],"issn-type":[{"value":"0888-613X","type":"print"}],"subject":[],"published":{"date-parts":[[2007,7]]}}}