{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:31:45Z","timestamp":1771471905689,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,12,24]],"date-time":"2010-12-24T00:00:00Z","timestamp":1293148800000},"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,2]]},"DOI":"10.1007\/s11225-010-9296-9","type":"journal-article","created":{"date-parts":[[2010,12,23]],"date-time":"2010-12-23T06:52:06Z","timestamp":1293087126000},"page":"31-60","source":"Crossref","is-referenced-by-count":31,"title":["Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics"],"prefix":"10.1007","volume":"97","author":[{"given":"Ofer","family":"Arieli","sequence":"first","affiliation":[]},{"given":"Arnon","family":"Avron","sequence":"additional","affiliation":[]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,12,24]]},"reference":[{"key":"9296_CR1","unstructured":"Anderson, A., and N. Belnap, Entailment, vol. 1, Princeton University Press, 1975."},{"key":"9296_CR2","unstructured":"Arieli O., A. Avron, A. Zamansky, \u2018Maximally paraconsistent three-valued logics\u2019, in F. Lin, U. Sattler, and M. Truszczynski, (eds.), Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR\u201910), AAAI Press, 2010, pp. 310\u2013318."},{"issue":"4","key":"9296_CR3","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1093\/jigpal\/jzp014","volume":"17","author":"O. Arieli","year":"2009","unstructured":"Arieli O., Zamansky A.: \u2018Distance-based non-deterministic semantics for reasoning with uncertainty\u2019. Logic Journal of the IGPL 17(4), 325\u2013350 (2009)","journal-title":"Logic Journal of the IGPL"},{"key":"9296_CR4","doi-asserted-by":"crossref","first-page":"334","DOI":"10.2307\/2274169","volume":"49","author":"A. Avron","year":"1984","unstructured":"Avron A.: \u2018Relevant entailment - Semantics and formal systems\u2019. Journal of Symbolic Logic 49, 334\u2013342 (1984)","journal-title":"Journal of Symbolic Logic"},{"key":"9296_CR5","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"1","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 56"},{"issue":"6","key":"9296_CR6","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1093\/logcom\/9.6.977","volume":"9","author":"A. Avron","year":"1999","unstructured":"Avron A.: \u2018On the expressive power of three-valued and four-valued languages\u2019. Journal of Logic and Computation 9(6), 977\u2013994 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"9296_CR7","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.jal.2004.07.015","volume":"3","author":"A. Avron","year":"2005","unstructured":"Avron A.: \u2018Combining classical logic, paraconsistency and relevance\u2019. Journal of Applied Logic 3, 133\u2013160 (2005)","journal-title":"Journal of Applied Logic"},{"key":"9296_CR8","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.ijar.2006.06.011","volume":"45","author":"A. Avron","year":"2007","unstructured":"Avron A.: \u2018Non-deterministic semantics for logics with a consistency operator\u2019. Journal of Approximate Reasoning 45, 271\u2013287 (2007)","journal-title":"Journal of Approximate Reasoning"},{"key":"9296_CR9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1093\/jigpal\/jzi030","volume":"4","author":"A. Avron","year":"2005","unstructured":"Avron A., Konikowska B.: \u2018Multi-valued calculi for logics based on nondeterminism\u2019. Logic Journal of the IGPL 13 4, 365\u2013387 (2005)","journal-title":"Logic Journal of the IGPL 13"},{"key":"9296_CR10","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":"9296_CR11","doi-asserted-by":"crossref","unstructured":"Avron, A., and A. Zamansky, \u2018Many-valued non-deterministic semantics for firstorder logics of formal inconsistency\u2019, in S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V.Marra, (eds.), Algebraic and Proof-Theoretic Aspects of Non-classical Logics, LNCS 4460, Springer, 2007, pp. 1\u201324.","DOI":"10.1007\/978-3-540-75939-3_1"},{"key":"9296_CR12","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, 2010. To appear.","DOI":"10.1007\/978-94-007-0479-4_4"},{"key":"9296_CR13","unstructured":"Batens, D., \u2018Paraconsistent extensional propositional logics\u2019, Logique et Analyse, 90\/91 (1980), 195\u2013234."},{"key":"9296_CR14","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0034-4877(99)80142-6","volume":"33","author":"D. Batens","year":"1999","unstructured":"Batens D., De Clercq K., Kurtonina N.: \u2018Embedding and interpolation for some paralogics The propositional case\u2019. Reports on Mathematical Logic 33, 29\u201344 (1999)","journal-title":"Reports on Mathematical Logic"},{"key":"9296_CR15","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":"9296_CR16","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":"9296_CR17","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"N. da Costa","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"},{"key":"9296_CR18","unstructured":"Decker, H., \u2018A case for paraconsistent logic as foundation of future information systems\u2019, in J. Castro, and E. Teniente, (eds.), Proceedings of the CAiSE Workshops, vol. 2, 2005, pp. 451\u2013461."},{"issue":"1-2","key":"9296_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":"9296_CR20","doi-asserted-by":"crossref","unstructured":"Gabbay, D., and H. Wansing, (eds.), What is Negation?, vol. 13 of Applied Logic Series, Springer, 1999.","DOI":"10.1007\/978-94-015-9309-0"},{"key":"9296_CR21","unstructured":"Gottwald, S., \u2018A treatise on many-valued logics\u2019, in Studies in Logic and Computation, vol. 9, Research Studies Press, Baldock, 2001."},{"key":"9296_CR22","unstructured":"Ja\u015bkowski, S., \u2018On the discussive conjunction in the propositional calculus for inconsistent deductive systems\u2019, Logic, Language and Philosophy, 7 (1999), 57\u201359. Translation of the original paper from 1949."},{"key":"9296_CR23","unstructured":"Karpenko, A., \u2018A maximal paraconsistent logic: The combination of two threevalued isomorphs of classical propositional logic.\u2019, in D. Batens, C. Mortensen, G. Priest, and J. Van Bendegem, (eds.), Frontiers of Paraconsistent Logic, vol. 8 of Studies in Logic and Computation, Research Studies Press, 2000, pp. 181\u2013187."},{"key":"9296_CR24","unstructured":"Kleene, S. C., Introduction to Metamathematics, Van Nostrand, 1950."},{"key":"9296_CR25","doi-asserted-by":"crossref","unstructured":"Malinowski, G., Many-Valued Logics, Clarendon Press, 1993.","DOI":"10.1093\/oso\/9780198537878.001.0001"},{"key":"9296_CR26","unstructured":"Marcos, J., \u20188K solutions and semi-solutions to a problem of da Costa\u2019, Submitted."},{"key":"9296_CR27","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."},{"issue":"1","key":"9296_CR28","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/j.jal.2004.07.017","volume":"3","author":"J. Marcos","year":"2005","unstructured":"Marcos J.: \u2018On negation: Pure local rules\u2019. Journal of Applied Logic 3(1), 185\u2013219 (2005)","journal-title":"Journal of Applied Logic"},{"key":"9296_CR29","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1305\/ndjfl\/1093894720","volume":"13","author":"R. Parks","year":"1972","unstructured":"Parks R.: \u2018A note on R-mingle and Soboci\u0144ski three-valued logic\u2019. Notre Dame Journal of Formal Logic 13, 227\u2013228 (1972)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9296_CR30","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":"9296_CR31","first-page":"173","volume":"16","author":"A.M. Sette","year":"1973","unstructured":"Sette A.M.: \u2018On propositional calculus P1\u2019. Mathematica Japonica 16, 173\u2013180 (1973)","journal-title":"Mathematica Japonica"},{"key":"9296_CR32","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":"9296_CR33","doi-asserted-by":"crossref","unstructured":"Shoesmith, D. J., and T. J. Smiley, Multiple Conclusion Logic, Cambridge University Press, 1978.","DOI":"10.1017\/CBO9780511565687"},{"key":"9296_CR34","first-page":"23","volume":"1","author":"B. Soboci\u0144ski","year":"1952","unstructured":"Soboci\u0144ski B.: \u2018Axiomatization of a partial system of three-value calculus of propositions\u2019. Journal of Computing Systems 1, 23\u201355 (1952)","journal-title":"Journal of Computing Systems"},{"key":"9296_CR35","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-010-9296-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9296-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9296-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T07:18:21Z","timestamp":1712042301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9296-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12,24]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["9296"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9296-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12,24]]}}}