{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T21:48:57Z","timestamp":1772574537446,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,1,27]],"date-time":"2016-01-27T00:00:00Z","timestamp":1453852800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11225-015-9649-5","type":"journal-article","created":{"date-parts":[[2016,1,27]],"date-time":"2016-01-27T10:54:34Z","timestamp":1453892074000},"page":"503-545","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":18,"title":["On All Strong Kleene Generalizations of Classical Logic"],"prefix":"10.1007","volume":"104","author":[{"given":"Stefan","family":"Wintein","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,27]]},"reference":[{"key":"9649_CR1","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/00048402.2014.930498","volume":"93","author":"P. Allo","year":"2015","unstructured":"Allo P.: Synonymy and intra-theoretical pluralism. Australasian Journal of Philosophy 93, 77\u201391 (2015)","journal-title":"Australasian Journal of Philosophy"},{"issue":"1","key":"9649_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF00215626","volume":"5","author":"O. Arieli","year":"1996","unstructured":"Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic Language and Information 5(1), 25\u201363 (1996)","journal-title":"Journal of Logic Language and Information"},{"key":"9649_CR3","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.: The value of the four values. Artificial Intelligence 102, 97\u2013141 (1998)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9649_CR4","doi-asserted-by":"crossref","first-page":"276","DOI":"10.2307\/2274919","volume":"56","author":"A. Avron","year":"1991","unstructured":"Avron A.: Natural 3-valued logics\u2014characterization and proof theory. Journal of Symbolic Logic 56(1), 276\u2013294 (1991)","journal-title":"Journal of Symbolic Logic"},{"key":"9649_CR5","doi-asserted-by":"crossref","unstructured":"Avron, A., and I. Lev, Canonical propositional Gentzen-type systems, in Proceedings of the First International Joint Conference on Automated Reasoning, Springer, Berlin, 2001, pp. 529\u2013544.","DOI":"10.1007\/3-540-45744-5_45"},{"key":"9649_CR6","first-page":"192","volume":"49","author":"M. Baaz","year":"1993","unstructured":"Baaz M., Ferm\u00fcller C., Zach R.: Dual systems of sequent and tabelaux for many-valued logics. Bulletin of the EATCS 49, 192\u2013197 (1993)","journal-title":"Bulletin of the EATCS"},{"key":"9649_CR7","first-page":"195","volume":"90","author":"D. Batens","year":"1980","unstructured":"Batens D.: Paraconsistent extensional propositional logics. Logique et Analyse 90, 195\u2013234 (1980)","journal-title":"Logique et Analyse"},{"key":"9649_CR8","unstructured":"Batens, D., and K. de Clerq, A rich paraconsistent eextension of full positive logic, Logique et Analyse 47:185\u2013188, 220\u2013257, 2004."},{"issue":"2","key":"9649_CR9","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1017\/S1755020311000074","volume":"4","author":"J. Beall","year":"2011","unstructured":"Beall J.: Multiple-conclusion Lp and default classicality. Review of Symbolic Logic 4(2), 326\u2013336 (2011)","journal-title":"Review of Symbolic Logic"},{"issue":"4","key":"9649_CR10","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1017\/S1755020313000142","volume":"6","author":"J. Beall","year":"2013","unstructured":"Beall J.: Lp+, K3+, Fde+, and their \u2018Classical collapse\u2019. Review of Symbolic Logic 6(4), 742\u2013754 (2013)","journal-title":"Review of Symbolic Logic"},{"key":"9649_CR11","volume-title":"Logical Pluralism","author":"J. Beall","year":"2000","unstructured":"Beall J., Restall G.: Logical Pluralism. Oxford University Press, Oxford (2000)"},{"key":"9649_CR12","unstructured":"Belnap, N., How a computer should think, in G. Ryle (ed.), Contemporary Aspects of Philosophy, Oriel Press, Stocksfield, 1976, pp. 30\u201356."},{"key":"9649_CR13","doi-asserted-by":"crossref","unstructured":"Belnap, N., A useful four-valued logic, in J. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9649_CR14","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P. Cobreros","year":"2012","unstructured":"Cobreros P., Egr\u00e9 P., Ripley D., van Rooij R.: Tolerant, classical, strict. Journal of Philosophical Logic 41, 347\u2013385 (2012)","journal-title":"Journal of Philosophical Logic"},{"key":"9649_CR15","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett M.: The Logical Basis of Metaphysics. Harvard University Press, Cambridge (1991)"},{"key":"9649_CR16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"J. Dunn","year":"1976","unstructured":"Dunn J.: Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019. Philosophical Studies 29, 149\u2013168 (1976)","journal-title":"Philosophical Studies"},{"key":"9649_CR17","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.: Bilattices and the semantics of logic programming. Journal of Logic Programming 11, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"key":"9649_CR18","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1080\/00048402.2011.648945","volume":"91","author":"O. Hjortland","year":"2013","unstructured":"Hjortland O.: Logical pluralism, meaning-variance and verbal disputes. Australasian Journal of Philosophy 91, 355\u2013373 (2013)","journal-title":"Australasian Journal of Philosophy"},{"key":"9649_CR19","volume-title":"Introduction to Metamathematics","author":"S. Kleene","year":"1952","unstructured":"Kleene S.: Introduction to Metamathematics. Van Nostrand, New York (1952)"},{"key":"9649_CR20","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1305\/ndjfl\/1022615616","volume":"40","author":"R. Muskens","year":"1999","unstructured":"Muskens R.: On partial and paraconsistent logics. Notre Dame Journal of Formal Logic 40, 352\u2013373 (1999)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9649_CR21","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511527340","volume-title":"Structural Proof Theory","author":"S. Negri","year":"2001","unstructured":"Negri S., von Plato J.: Structural Proof Theory. Cambridge University Press, Cambridge (2001)"},{"key":"9649_CR22","doi-asserted-by":"crossref","unstructured":"Omori, H., and H. Sano, Generalizing functional completeness in Belnap\u2013Dunn logic, Studia Logica 103(5):883\u2013917, 2015.","DOI":"10.1007\/s11225-014-9597-5"},{"key":"9649_CR23","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10992-011-9215-1","volume":"42","author":"A. Pietz","year":"2013","unstructured":"Pietz A., Rivieccio U.: Nothing but the truth. Journal of Philosophical Logic 42, 125\u2013135 (2013)","journal-title":"Journal of Philosophical Logic"},{"key":"9649_CR24","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G. Priest","year":"1979","unstructured":"Priest G.: The logic of paradox. Journal of Philosophical Logic 8, 219\u2013241 (1979)","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"9649_CR25","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/11663081.1999.10510958","volume":"9","author":"A. Pynko","year":"1999","unstructured":"Pynko A.: Functional completeness and axiomatizability within Belnap\u2019s logic. Journal of Applied Non-classical Logics 9(1), 61\u2013105 (1999)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"9649_CR26","unstructured":"Restall, G., Multiple conclusions, in P. Hajek, L. Valdes Villanueva, and D. Westerstahl (eds.), Logic, Methodology, and Philosophy of Science: Proceedings of the Twelfth International Congress, Kings\u2019 College Publications, London, 2005, pp. 189\u2013205."},{"key":"9649_CR27","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1017\/S1755020312000056","volume":"5","author":"D. Ripley","year":"2012","unstructured":"Ripley D.: Conservatively extending classical logic with transparant truth. The Review of Symbolic Logic 5, 354\u2013378 (2012)","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"9649_CR28","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"92","author":"D. Ripley","year":"2013","unstructured":"Ripley D.: Paradox and failures of cut. Australasian Journal of Philosophy 92(1), 139\u2013164 (2013)","journal-title":"Australasian Journal of Philosophy"},{"key":"9649_CR29","unstructured":"Ruet, P., Complete sets of connectives and complete sequent calculus for Belnap\u2019s Logic, Tech. Rep., Ecole Normal Sup\u00e9rieure, Logic Colloquium 96, 1996."},{"issue":"436","key":"9649_CR30","doi-asserted-by":"crossref","first-page":"781","DOI":"10.1093\/mind\/109.436.781","volume":"109","author":"I. Rumfitt","year":"2000","unstructured":"Rumfitt I.: \u2018Yes\u2019 and \u2018No\u2019. Mind 109(436), 781\u2013823 (2000)","journal-title":"Mind"},{"issue":"1","key":"9649_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/analys\/56.1.1","volume":"56","author":"T. Smiley","year":"1996","unstructured":"Smiley T.: Rejection. Analysis 56(1), 1\u20139 (1996)","journal-title":"Analysis"},{"key":"9649_CR32","volume-title":"First-Order Logic","author":"R. Smullyan","year":"1995","unstructured":"Smullyan R.: First-Order Logic. Dover, New York (1995)"},{"key":"9649_CR33","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1093\/mind\/107.428.763","volume":"107","author":"A. Weir","year":"1998","unstructured":"Weir A.: Naive set theory is innocent. Mind 107, 763\u2013798 (1998)","journal-title":"Mind"},{"issue":"3","key":"9649_CR34","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1305\/ndjfl\/1093891009","volume":"14","author":"P. Woodruff","year":"1973","unstructured":"Woodruff P.: On compactness in many-valued logic I. Notre Dame Journal of Formal Logic 14(3), 405\u2013407 (1973)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9649_CR35","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/s11225-008-9156-z","volume":"90","author":"E. Zardini","year":"2008","unstructured":"Zardini E.: A model of tolerance. Studia Logica 90, 337\u2013368 (2008)","journal-title":"Studia Logica"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9649-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-015-9649-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-015-9649-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T19:07:58Z","timestamp":1553627278000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-015-9649-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,27]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9649"],"URL":"https:\/\/doi.org\/10.1007\/s11225-015-9649-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,27]]}}}