{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:35:06Z","timestamp":1771472106802,"version":"3.50.1"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T00:00:00Z","timestamp":1314230400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1007\/s11225-011-9346-y","type":"journal-article","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T11:51:09Z","timestamp":1314186669000},"page":"31-60","source":"Crossref","is-referenced-by-count":36,"title":["Ideal Paraconsistent Logics"],"prefix":"10.1007","volume":"99","author":[{"given":"O.","family":"Arieli","sequence":"first","affiliation":[]},{"given":"A.","family":"Avron","sequence":"additional","affiliation":[]},{"given":"A.","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,8,25]]},"reference":[{"key":"9346_CR1","unstructured":"Anderson, A., and N. Belnap, Entailment, vol. 1, Princeton University Press, 1975."},{"issue":"1","key":"9346_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli O., Avron A.: \u2018The value of the four values\u2019. Artificial Intelligence 102(1), 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9346_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11225-010-9296-9","volume":"97","author":"O. Arieli","year":"2011","unstructured":"Arieli O., Avron A., Zamansky A.: \u2018Maximal and premaximal paraconsistency in the framework of three-valued semantics\u2019. Studia Logica 97(1), 31\u201360 (2011)","journal-title":"Studia Logica"},{"key":"9346_CR4","doi-asserted-by":"crossref","unstructured":"Arieli, O., A. Avron, and A. Zamansky, \u2018What is an ideal logic for reasoning with inconsistency?\u2019, in Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI\u201911), AAAI Press, 2011, pp. 706\u2013711.","DOI":"10.1007\/978-3-642-15675-5_4"},{"issue":"1","key":"9346_CR5","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron A.: \u2018Natural 3-valued logics: Characterization and proof theory\u2019. Journal of Symbolic Logic 56(1), 276\u2013294 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR6","doi-asserted-by":"crossref","unstructured":"Avron, A., O. Arieli, and A. Zamansky, \u2018On strong maximality of paraconsistent finite-valued logics\u2019, in Proceedings of the 25th Ann. Symp. on Logic in Computer Science (LICS\u201910), IEEE Press, 2010, pp. 304\u2013313.","DOI":"10.1109\/LICS.2010.20"},{"key":"9346_CR7","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/logcom\/exi001","volume":"15","author":"A. Avron","year":"2005","unstructured":"Avron A., Lev I.: \u2018Non-deterministic multi-valued structures\u2019. Journal of Logic and Computation 15, 241\u2013261 (2005)","journal-title":"Journal of Logic and Computation"},{"key":"9346_CR8","doi-asserted-by":"crossref","unstructured":"Avron, A., and A. Zamansky, \u2018Non-deterministic semantics for logical systems \u2013 A survey\u2019, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, Kluwer, 2011. To appear.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"9346_CR9","first-page":"195","volume":"90-91","author":"D. Batens","year":"1980","unstructured":"Batens D.: \u2018Paraconsistent extensional propositional logics\u2019. Logique et Analyse 90-91, 195\u2013234 (1980)","journal-title":"Logique et Analyse"},{"key":"9346_CR10","unstructured":"Batens, D., C. Mortensen, G. Priest, and J. Van Bendegem, Frontiers of Paraconsistent Logic, Proceedings of the First World Congress on Paraconsistency, vol. 8 of Studies in Logic and Computation, Research Studies Press, 2000."},{"key":"9346_CR11","unstructured":"Belnap, N., \u2018How a computer should think\u2019, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, 1977, pp. 30\u201356."},{"key":"9346_CR12","doi-asserted-by":"crossref","unstructured":"Belnap, N., \u2018A useful four-valued logic\u2019, in J. M. Dunn, and G. Epstein, (eds.), Modern Uses of Multiple-Valued Logics, Reidel Publishing Company, 1977, pp. 7\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9346_CR13","unstructured":"B\u00e9ziau, J. Y., W. Carnielli, and D. Gabbay, Handbook of Paraconsistency, 2007."},{"key":"9346_CR14","unstructured":"Bremer, M., An Introduction to Paraconsistent Logics, Peter Lang, 2005."},{"key":"9346_CR15","doi-asserted-by":"crossref","unstructured":"Carnielli, W., M. Coniglio, and I. D\u2019Ottaviano, Paraconsistency: The Logical Way to the Inconsistent \u2013 Proceedings of the Second World Congress on Paraconsistency, Marcel Dekker, 2001.","DOI":"10.1201\/9780203910139"},{"key":"9346_CR16","doi-asserted-by":"crossref","unstructured":"Carnielli, W., M. Coniglio, and J. Marcos, \u2018Logics of formal inconsistency\u2019, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. 14, Springer, 2007, pp. 1\u201393. Second edition.","DOI":"10.1007\/978-1-4020-6324-4_1"},{"key":"9346_CR17","doi-asserted-by":"crossref","first-page":"115","DOI":"10.12775\/LLP.2000.008","volume":"8","author":"W. Carnielli","year":"2000","unstructured":"Carnielli W., Marcos J., de Amo S.: \u2018Formal inconsistency and evolutionary databases\u2019. Logic and Logical Philosophy 8, 115\u2013152 (2000)","journal-title":"Logic and Logical Philosophy"},{"key":"9346_CR18","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. Costa da","year":"1974","unstructured":"da Costa N.: \u2018On the theory of inconsistent formal systems\u2019. Notre Dame Journal of Formal Logic 15, 497\u2013510 (1974)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1-2","key":"9346_CR19","first-page":"31","volume":"XIX","author":"I. D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano I.: \u2018The completeness and compactness of a three-valued first-order logic\u2019. Revista Colombiana de Matematicas XIX(1-2), 31\u201342 (1985)","journal-title":"Revista Colombiana de Matematicas"},{"key":"9346_CR20","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J.M. Dunn","year":"1976","unstructured":"Dunn J.M.: \u2018Intuitive semantics for first-degree entailments and coupled trees\u2019. Philosophical Studies 29, 149\u2013168 (1976)","journal-title":"Philosophical Studies"},{"issue":"2","key":"9346_CR21","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting M.: \u2018Bilattices and the semantics of logic programming\u2019. Journal of Logic Programming 11(2), 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"issue":"1-3","key":"9346_CR22","doi-asserted-by":"crossref","first-page":"113","DOI":"10.3233\/FI-1994-201234","volume":"20","author":"M. Fitting","year":"1994","unstructured":"Fitting M.: \u2018Kleene\u2019s three valued logics and their children\u2019. Fundamenta Informaticae 20(1-3), 113\u2013131 (1994)","journal-title":"Fundamenta Informaticae"},{"key":"9346_CR23","first-page":"256","volume":"4","author":"M. Ginsberg","year":"1988","unstructured":"Ginsberg M.: \u2018Multi-valued logics: A uniform approach to reasoning in AI\u2019. Computer Intelligence 4, 256\u2013316 (1988)","journal-title":"Computer Intelligence"},{"key":"9346_CR24","unstructured":"Gottwald, S., \u2018A treatise on many-valued logics\u2019, in Studies in Logic and Computation, vol. 9, Research Studies Press, Baldock, 2001."},{"key":"9346_CR25","doi-asserted-by":"crossref","unstructured":"Ja\u015bkowski, S., \u2018On the discussive conjunction in the propositional calculus for inconsistent deductive systems\u2019, Logic, Language and Philosophy 7:57\u201359, 1999. Translation of the original paper from 1949.","DOI":"10.12775\/LLP.1999.004"},{"key":"9346_CR26","unstructured":"Karpenko, A., \u2018A maximal paraconsistent logic: The combination of two threevalued isomorphs of classical propositional logic\u2019, [10], pp. 181\u2013187."},{"key":"9346_CR27","unstructured":"Kleene, S. C., Introduction to Metamathematics, Van Nostrand, 1950."},{"key":"9346_CR28","doi-asserted-by":"crossref","unstructured":"Malinowski, G., Many-Valued Logics, Clarendon Press, 1993.","DOI":"10.1093\/oso\/9780198537878.001.0001"},{"key":"9346_CR29","unstructured":"Marcos, J., \u20188K solutions and semi-solutions to a problem of da Costa\u2019, Submitted."},{"key":"9346_CR30","unstructured":"Marcos, J., \u2018On a problem of da Costa\u2019, in G Sica, (ed.), Essays on the Foundations of Mathematics and Logic, vol. 2, Polimetrica, 2005, pp. 39\u201355."},{"key":"9346_CR31","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G. Priest","year":"1979","unstructured":"Priest G.: \u2018Logic of paradox\u2019. Journal of Philosophical Logic 8, 219\u2013241 (1979)","journal-title":"Journal of Philosophical Logic"},{"key":"9346_CR32","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(89)90027-1","volume":"39","author":"G. Priest","year":"1989","unstructured":"Priest G.: \u2018Reasoning about truth\u2019. Artificial Intelligence 39, 231\u2013244 (1989)","journal-title":"Artificial Intelligence"},{"key":"9346_CR33","first-page":"173","volume":"16","author":"A.M. Sette","year":"1973","unstructured":"Sette A.M.: \u2018On propositional calculus P 1\u2019. Mathematica Japonica 16, 173\u2013180 (1973)","journal-title":"Mathematica Japonica"},{"key":"9346_CR34","doi-asserted-by":"crossref","first-page":"610","DOI":"10.2307\/2272465","volume":"36","author":"D.J. Shoesmith","year":"1971","unstructured":"Shoesmith D.J., Smiley T.J.: \u2018Deducibility and many-valuedness\u2019. Journal of Symbolic Logic 36, 610\u2013622 (1971)","journal-title":"Journal of Symbolic Logic"},{"key":"9346_CR35","doi-asserted-by":"crossref","unstructured":"Shoesmith, D. J., and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978.","DOI":"10.1017\/CBO9780511565687"},{"key":"9346_CR36","doi-asserted-by":"crossref","unstructured":"Urquhart, A., \u2018Many-valued logic\u2019, in D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, vol. II, Kluwer, 2001, pp. 249\u2013295. Second edition.","DOI":"10.1007\/978-94-017-0452-6_4"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9346-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-011-9346-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-011-9346-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,10]],"date-time":"2024-04-10T13:17:11Z","timestamp":1712755031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-011-9346-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,25]]},"references-count":36,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["9346"],"URL":"https:\/\/doi.org\/10.1007\/s11225-011-9346-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,8,25]]}}}