{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:22:48Z","timestamp":1780078968481,"version":"3.54.0"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T00:00:00Z","timestamp":1590364800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1007\/s11787-020-00254-1","type":"journal-article","created":{"date-parts":[[2020,5,25]],"date-time":"2020-05-25T19:02:55Z","timestamp":1590433375000},"page":"281-296","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["The Normal and Self-extensional Extension of Dunn\u2013Belnap Logic"],"prefix":"10.1007","volume":"14","author":[{"given":"Arnon","family":"Avron","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,5,25]]},"reference":[{"key":"254_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"AR Anderson","year":"1975","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)"},{"issue":"1","key":"254_CR2","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O Arieli","year":"1996","unstructured":"Arieli, O., Avron, A.: Reasoning with logical bilattices. J. Logic Lang. Inf. 5(1), 25\u201363 (1996)","journal-title":"J. Logic Lang. Inf."},{"key":"254_CR3","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-81-322-2719-9_4","volume-title":"New Directions in Paraconsistent Logic","author":"O Arieli","year":"2015","unstructured":"Arieli, O., Avron, A.: Three-valued paraconsistent propositional logics. In: B\u00e9ziau, J.-Y., Chakraborty, M., Dutta, S. (eds.) New Directions in Paraconsistent Logic, pp. 91\u2013129. Springer, Berlin (2015)"},{"key":"254_CR4","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1007\/s11225-017-9721-4","volume":"105","author":"O Arieli","year":"2017","unstructured":"Arieli, O., Avron, A.: Four-valued paradefinite logics. Stud. Logica 105, 1087\u20131122 (2017)","journal-title":"Stud. Logica"},{"key":"254_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1305\/ndjfl\/1093958482","volume":"7","author":"FG Asenjo","year":"1966","unstructured":"Asenjo, F.G.: A calculus of antinomies. Notre Dame J. Form. Log. 7, 103\u2013106 (1966)","journal-title":"Notre Dame J. Form. Log."},{"key":"254_CR6","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11787-017-0173-4","volume":"11","author":"A Avron","year":"2017","unstructured":"Avron, A.: Self-extensional three-valued paraconsistent logics. Log. Univers. 11, 297\u2013315 (2017)","journal-title":"Log. Univers."},{"key":"254_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-018-02045-0","author":"A Avron","year":"2018","unstructured":"Avron, A.: Quasi-canonical systems and their semantics. Synthese (2018). https:\/\/doi.org\/10.1007\/s11229-018-02045-0","journal-title":"Synthese"},{"key":"254_CR8","series-title":"Studies in Logic (Mathematical Logic and Foundations)","volume-title":"Theory of Effective Propositional Paraconsitent Logics","author":"A Avron","year":"2018","unstructured":"Avron, A., Arieli, O., Zamansky, A.: Theory of Effective Propositional Paraconsitent Logics. Studies in Logic (Mathematical Logic and Foundations), vol. 75. College Publications, London (2018)"},{"key":"254_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s11787-006-0003-6","volume":"1","author":"A Avron","year":"2006","unstructured":"Avron, A., Ben-Naim, J., Konikowska, B.: Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics. Log. Univers. 1, 41\u201369 (2006)","journal-title":"Log. Univers."},{"key":"254_CR10","first-page":"183","volume":"25","author":"A Avron","year":"2017","unstructured":"Avron, A., B\u00e9ziau, J.-Y.: Self-extensional three-valued paraconsistent logics have no implication. Log. J. IGPL 25, 183\u2013194 (2017)","journal-title":"Log. J. IGPL"},{"key":"254_CR11","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-007-0479-4_4","volume-title":"Handbook of Philosophical Logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-deterministic semantics for logical systems\u2014a survey. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 227\u2013304. Springer, Berlin (2011)"},{"key":"254_CR12","first-page":"7","volume-title":"Modern Uses of Multiple-Valued Logics","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Dunn, J.M., Epstein, G. (eds.) Modern Uses of Multiple-Valued Logics, pp. 7\u201337. Reidel Publishing Company, Dordrecht (1977)"},{"key":"254_CR13","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1305\/ndjfl\/1039293025","volume":"39","author":"JY B\u00e9ziau","year":"1994","unstructured":"B\u00e9ziau, J.Y.: Idempotent full paraconsistent negations are not algebraizable. Notre Dame J. Form. Log. 39, 135\u2013139 (1994)","journal-title":"Notre Dame J. Form. Log."},{"key":"254_CR14","first-page":"9","volume":"25","author":"RT Brady","year":"1982","unstructured":"Brady, R.T.: Completeness proofs for RM3 and BN4. Log. Anal. 25, 9\u201332 (1982)","journal-title":"Log. Anal."},{"key":"254_CR15","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA daCosta","year":"1974","unstructured":"daCosta, N.C.A.: On the theory of inconsistent formal systems. Notre Dame J. Form. Log. 15, 497\u2013510 (1974)","journal-title":"Notre Dame J. Form. Log."},{"issue":"1\u2014-2","key":"254_CR16","first-page":"31","volume":"XIX","author":"I D\u2019Ottaviano","year":"1985","unstructured":"D\u2019Ottaviano, I.: The completeness and compactness of a three-valued first-order logic. Rev. Colomb. Mat. XIX(1\u2014-2), 31\u201342 (1985)","journal-title":"Rev. Colomb. Mat."},{"key":"254_CR17","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.M.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philos. Stud. 29, 149\u2013168 (1976)","journal-title":"Philos. Stud."},{"key":"254_CR18","first-page":"1","volume-title":"Handbook of Philosophical Logic","author":"JM Dunn","year":"2002","unstructured":"Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D., Guenther, F. (eds.) Handbook of Philosophical Logic, vol. 6, 2nd edn, pp. 1\u2013136. Kluwer, Dordrecht (2002)","edition":"2"},{"issue":"2","key":"254_CR19","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the semantics of logic programming. J. Log. Program. 11(2), 91\u2013116 (1991)","journal-title":"J. Log. Program."},{"key":"254_CR20","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G.: Logic of paradox. J. Philos. Log. 8, 219\u2013241 (1979)","journal-title":"J. Philos. Log."},{"key":"254_CR21","doi-asserted-by":"publisher","first-page":"610","DOI":"10.2307\/2272465","volume":"36","author":"DJ Shoesmith","year":"1971","unstructured":"Shoesmith, D.J., Smiley, T.J.: Deducibility and many-valuedness. J. Symb. Log. 36, 610\u2013622 (1971)","journal-title":"J. Symb. Log."},{"key":"254_CR22","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511565687","volume-title":"Multiple Conclusion Logic","author":"DJ Shoesmith","year":"1978","unstructured":"Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)"},{"key":"254_CR23","unstructured":"Urbas, I.: On Brazilian paraconsistent logics. PhD thesis, Australian National University, Canberra (1987)"},{"key":"254_CR24","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/BF00838045","volume":"39","author":"I Urbas","year":"1989","unstructured":"Urbas, I.: Paraconsistency. Stud. Sov. Thought 39, 343\u2013354 (1989)","journal-title":"Stud. Sov. Thought"},{"key":"254_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations","author":"R W\u00f3jcicki","year":"1988","unstructured":"W\u00f3jcicki, R.: Theory of Logical Calculi: Basic Theory of Consequence Operations. Kluwer Academic Publishers, Dordrecht (1988)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-020-00254-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-020-00254-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-020-00254-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,25]],"date-time":"2021-05-25T00:20:38Z","timestamp":1621902038000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-020-00254-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5,25]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,9]]}},"alternative-id":["254"],"URL":"https:\/\/doi.org\/10.1007\/s11787-020-00254-1","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,5,25]]},"assertion":[{"value":"3 October 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 April 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}