{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T10:04:30Z","timestamp":1748253870038,"version":"3.37.3"},"reference-count":75,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010665","name":"H2020 Marie Sk\u0142odowska-Curie Actions","doi-asserted-by":"publisher","award":["101086295"],"award-info":[{"award-number":["101086295"]}],"id":[{"id":"10.13039\/100010665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100013003","name":"Universit\u00e0 degli Studi di Cagliari","doi-asserted-by":"crossref","id":[{"id":"10.13039\/100013003","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This is the Editorial Introduction to \u201cS.I.: Strong and Weak Kleene Logics\u201d.<\/jats:p>","DOI":"10.1007\/s11225-024-10147-9","type":"journal-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T08:12:40Z","timestamp":1726215160000},"page":"1201-1214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Editorial Introduction"],"prefix":"10.1007","volume":"112","author":[{"given":"Francesco","family":"Paoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5509-2980","authenticated-orcid":false,"given":"Gavin","family":"St. John","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"10147_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-78160-5","volume-title":"The Logic of Partial Information","author":"AN Abdallah","year":"1995","unstructured":"Abdallah, A. N., The Logic of Partial Information, Springer, Berlin, 1995."},{"issue":"6","key":"10147_CR2","doi-asserted-by":"publisher","first-page":"1051","DOI":"10.1007\/s11225-017-9739-7","volume":"105","author":"H Albuquerque","year":"2017","unstructured":"Albuquerque, H., A. P\u0159enosil, and U. Rivieccio, An algebraic view of super-Belnap logics, Studia Logica 105(6):1051\u20131086, 2017.","journal-title":"Studia Logica"},{"key":"10147_CR3","first-page":"119","volume-title":"Deducibility, entailment and analytic containment","author":"RB Angell","year":"1989","unstructured":"Angell, R. B., Deducibility, entailment and analytic containment, in J. Norman, and R. Sylvan, (eds.), Directions in Relevant Logic, Springer, Berlin, 1989, pp. 119\u2013143."},{"issue":"1","key":"10147_CR4","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 Journal of Formal Logic 7(1):103\u2013105, 1966.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"2\u20133","key":"10147_CR5","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0304-3975(88)90037-0","volume":"57","author":"A Avron","year":"1988","unstructured":"Avron, A., The semantics and proof theory of linear logic, Theoretical Computer Science 57(2-3):161\u2013184, 1988.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"10147_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s10992-019-09513-z","volume":"49","author":"E Barrio","year":"2020","unstructured":"Barrio, E., F. Pailos, and D. Szmuc, Hierarchies of paraconsistency and classicality, Journal of Philosophical Logic 49(1):93\u2013120, 2020.","journal-title":"Journal of Philosophical Logic"},{"issue":"22","key":"10147_CR7","first-page":"265","volume":"198","author":"E Barrio","year":"2021","unstructured":"Barrio, E., F. Pailos, and D. Szmuc, (Meta)inferential levels of entailment beyond the Tarskian paradigm, Synthese 198(22):265\u2013289, 2021.","journal-title":"Synthese"},{"issue":"5","key":"10147_CR8","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10992-014-9342-6","volume":"44","author":"E Barrio","year":"2015","unstructured":"Barrio, E., L. Rosenblatt, and D. Tajer, The logics of strict-tolerant logic, Journal of Philosophical Logic 44(5):551\u2013571, 2015.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"10147_CR9","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1080\/11663081.2016.1225488","volume":"26","author":"C Ba\u015fkent","year":"2016","unstructured":"Ba\u015fkent, C., Game theoretical semantics for some non-classical logics, Journal of Applied Non-Classical Logics 26(3):208\u2013239, 2016.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"6","key":"10147_CR10","doi-asserted-by":"publisher","first-page":"534","DOI":"10.1093\/jigpal\/jzab019","volume":"30","author":"S Basu","year":"2022","unstructured":"Basu, S., and M. K. Chakraborty, Restricted rules of inference and paraconsistency, Logic Journal of the IGPL 30(6):534\u2013560, 2022.","journal-title":"Logic Journal of the IGPL"},{"key":"10147_CR11","doi-asserted-by":"crossref","unstructured":"Beall, J. C., Off-topic: A new interpretation of Weak Kleene logic, The Australasian Journal of Logic 13(6), article no. 1, 2016.","DOI":"10.26686\/ajl.v13i6.3976"},{"issue":"1","key":"10147_CR12","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1093\/jigpal\/jzaa071","volume":"30","author":"A Belikov","year":"2022","unstructured":"Belikov, A., On bivalent semantics and natural deduction for some infectious logics, Logic Journal of the IGPL 30(1):186\u2013210, 2022.","journal-title":"Logic Journal of the IGPL"},{"key":"10147_CR13","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"ND Belnap","year":"1976","unstructured":"Belnap, N. D., How a computer should think, in G. Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1976, pp. 30\u201356."},{"key":"10147_CR14","first-page":"287","volume":"4","author":"DA Bochvar","year":"1938","unstructured":"Bochvar, D. A., On a three-valued calculus and its application in the analysis of the paradoxes of the extended functional calculus, Mathematicheskii 4:287\u2013308 1938.","journal-title":"Mathematicheskii Sbornik"},{"issue":"2","key":"10147_CR15","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11225-016-9689-5","volume":"105","author":"S Bonzio","year":"2017","unstructured":"Bonzio, S., J. Gil-F\u00e9rez, F. Paoli, and L. Peruzzi, On paraconsistent weak Kleene logic: Axiomatisation and algebraic analysis, Studia Logica 105(2):253\u2013297 2017.","journal-title":"Studia Logica"},{"key":"10147_CR16","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1007\/s10992-022-09697-x","volume":"52","author":"S Bonzio","year":"2023","unstructured":"Bonzio, S., V. Fano, P. Graziani, and M. Pra Baldi, A logical modeling of severe ignorance, Journal of Philosophical Logic 52:1053\u20131080, 2023.","journal-title":"Journal of Philosophical Logic"},{"issue":"1","key":"10147_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s00153-020-00727-6","volume":"60","author":"S Bonzio","year":"2021","unstructured":"Bonzio, S., T. Moraschini, and M. Pra Baldi, Logics of left variable inclusion and P\u0142onka sums of matrices, Archive for Mathematical Logic 60(1):49\u201376, 2021.","journal-title":"Archive for Mathematical Logic"},{"key":"10147_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-04297-3","volume-title":"Logics of Variable Inclusion","author":"S Bonzio","year":"2022","unstructured":"Bonzio, S., F. Paoli, and M. Pra Baldi, Logics of Variable Inclusion, Springer, Berlin, 2022."},{"issue":"5","key":"10147_CR19","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1007\/s11225-020-09930-1","volume":"109","author":"S Bonzio","year":"2021","unstructured":"Bonzio, S., and M. Pra Baldi, Containment logics: Algebraic completeness and axiomatization, Studia Logica 109(5):969\u2013994, 2021.","journal-title":"Studia Logica"},{"key":"10147_CR20","unstructured":"Borzi, A., and M. Zirattu, Uniform Weak Kleene logics Preprint."},{"key":"10147_CR21","doi-asserted-by":"crossref","unstructured":"Caleiro, C., S. Marcelino, and P. Filipe, Infectious semantics and analytic calculi for even more inclusion logics, in 50th IEEE Int. Symposium on Multiple-Valued Logics, IEEE Press, 2020, pp. 224\u2013229.","DOI":"10.1109\/ISMVL49045.2020.000-1"},{"key":"10147_CR22","volume-title":"Formalization of Logic","author":"R Carnap","year":"1943","unstructured":"Carnap, R., Formalization of Logic, Harvard University Press, Cambridge, Ma., 1943."},{"key":"10147_CR23","unstructured":"Chajda, I., H. L\u00e4nger, and J. Paseka, Constructions of Kleene lattices, in IEEE International Symposium, 31 October 2021."},{"issue":"4","key":"10147_CR24","doi-asserted-by":"publisher","first-page":"736","DOI":"10.1017\/S1755020318000503","volume":"12","author":"E Chemla","year":"2019","unstructured":"Chemla, E., and P. Egr\u00e9, Suszko\u2019s problem: Mixed consequence and compositionality, Review of Symbolic Logic 12(4):736\u2013767, 2019.","journal-title":"Review of Symbolic Logic"},{"key":"10147_CR25","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1090\/S0002-9939-1975-0357259-4","volume":"47","author":"R Cignoli","year":"1975","unstructured":"Cignoli, R., Injective De Morgan and Kleene algebras, Proceedings of the American Mathematical Society 47:269\u2013278, 1975.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"10147_CR26","volume-title":"Algebraic Foundations of Many-Valued Reasoning","author":"R Cignoli","year":"1999","unstructured":"Cignoli, R., I. M. L. D\u2019Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Kluwer, Dordrecht, 1999."},{"key":"10147_CR27","first-page":"165","volume-title":"New Developments in Logic and the Philosophy of Science","author":"R Ciuni","year":"2016","unstructured":"Ciuni, R., and M. Carrara, Characterizing logical consequence in Paraconsistent Weak Kleene, in L. Felline, A. Ledda, F. Paoli, and E. Rossanese, (eds.), New Developments in Logic and the Philosophy of Science, College Publications, London, 2016, pp. 165-176."},{"issue":"1","key":"10147_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/11663081.2018.1547514","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., and M. Carrara, Semantical analysis of weak Kleene logics, Journal of Applied Non-Classical Logics 29(1):1\u201336, 2019.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"5","key":"10147_CR29","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/logcom\/exz009","volume":"29","author":"R Ciuni","year":"2019","unstructured":"Ciuni, R., T. Ferguson, and D. Szmuc, Logics based on linear orders of contaminating values, Journal of Logic and Computation 29(5):631\u2013663, 2019.","journal-title":"Journal of Logic and Computation"},{"key":"10147_CR30","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/s10992-010-9165-z","volume":"41","author":"P Cobreros","year":"2012","unstructured":"Cobreros, P., P. Egr\u00e9, D. Ripley, and R. van Rooij, Tolerant, classical, strict, Journal of Philosophical Logic 41:347\u201385, 2012.","journal-title":"Journal of Philosophical Logic"},{"issue":"488","key":"10147_CR31","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1093\/mind\/fzt110","volume":"122","author":"P Cobreros","year":"2013","unstructured":"Cobreros, P., P. Egr\u00e9, D. Ripley, and R. van Rooij, Reaching transparent truth, Mind 122(488):841-866, 2013.","journal-title":"Mind"},{"key":"10147_CR32","doi-asserted-by":"crossref","unstructured":"Coniglio, M., and I. M. Corbalan, Sequent calculi for the classical fragment of Bochvar and Hallden\u2019s nonsense logics, in Proceedings of LSFA, 2012, pp. 125\u2013136.","DOI":"10.4204\/EPTCS.113.12"},{"key":"10147_CR33","volume-title":"Metainferential Logics","author":"B Da R\u00e9","year":"2023","unstructured":"Da R\u00e9, B., and F. Pailos, Metainferential Logics, Springer, Berlin, 2023."},{"key":"10147_CR34","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-25365-3_18","volume-title":"Graham Priest on Dialetheism and Paraconsistency","author":"B Dicher","year":"2019","unstructured":"Dicher, B., and F. Paoli, ST, LP, and tolerant metainferences, in C.\u00a0Ba\u015fkent, and T.\u00a0Ferguson, (eds.), Graham Priest on Dialetheism and Paraconsistency, Springer, Berlin, 2019, pp. 383\u2013407."},{"key":"10147_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70821-8","volume-title":"Meaning and Proscription in Formal Logic","author":"TM Ferguson","year":"2017","unstructured":"Ferguson, T. M., Meaning and Proscription in Formal Logic, Springer, Berlin, 2017."},{"key":"10147_CR36","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199230747.001.0001","volume-title":"Saving Truth From Paradox","author":"H Field","year":"2008","unstructured":"Field, H., Saving Truth From Paradox, Oxford University Press, Oxford, 2008."},{"issue":"2","key":"10147_CR37","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10992-015-9371-9","volume":"45","author":"K Fine","year":"2016","unstructured":"Fine, K., Angellic content, Journal of Philosophical Logic 45(2):199\u2013226, 2016.","journal-title":"Journal of Philosophical Logic"},{"key":"10147_CR38","first-page":"53","volume-title":"Self-Reference","author":"M Fitting","year":"2006","unstructured":"Fitting, M., Bilattices are nice things, in T. Bolander, V. Hendricks, and S.A. Pederrsen, (eds.), Self-Reference, CSLI, Stanford, 2006, pp. 53\u201377."},{"issue":"3","key":"10147_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J. M., Belnap\u2019s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5(3):1\u201329, 1997.","journal-title":"Logic Journal of the IGPL"},{"key":"10147_CR40","volume-title":"Abstract Algebraic Logic: An Introductory Textbook","author":"JM Font","year":"2016","unstructured":"Font, J. M., Abstract Algebraic Logic: An Introductory Textbook, College Publications, London, 2016."},{"key":"10147_CR41","doi-asserted-by":"publisher","first-page":"1145","DOI":"10.1007\/s11225-016-9670-3","volume":"104","author":"R Giuntini","year":"2016","unstructured":"Giuntini, R., A. Ledda, and F. Paoli, A new view of effects in a Hilbert space, Studia Logica 104:1145\u20131177, 2016.","journal-title":"Studia Logica"},{"key":"10147_CR42","volume-title":"The Logic of Nonsense","author":"S Halld\u00e9n","year":"1949","unstructured":"Halld\u00e9n, S., The Logic of Nonsense, Lundequista Bokhandeln, Uppsala, 1949."},{"issue":"4","key":"10147_CR43","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/BF00262954","volume":"2","author":"HG Herzberger","year":"1973","unstructured":"Herzberger, H. G., Dimensions of truth, Journal of Philosophical Logic 2(4):535\u2013556, 1973.","journal-title":"Journal of Philosophical Logic"},{"key":"10147_CR44","doi-asserted-by":"crossref","unstructured":"Indrzejczak, A., and Y. Petrukhin, A uniform formalisation of three-valued logics in bisequent calculus, in B. Pientka, and C. Tinelli, (eds.), Automated Deduction - CADE 29, vol. 14132 of Lecture Notes in Computer Science, Springer, Cham, 2023.","DOI":"10.1007\/978-3-031-38499-8_19"},{"key":"10147_CR45","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J. A., Lattices with involution, Transactions of the American Mathematical Society 87:485\u2013491, 1958.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10147_CR46","volume-title":"Introduction to Metamathematics","author":"SC Kleene","year":"1952","unstructured":"Kleene, S. C., Introduction to Metamathematics, North Holland, Amsterdam, 1952."},{"issue":"4","key":"10147_CR47","doi-asserted-by":"publisher","first-page":"720","DOI":"10.1017\/S1755020312000196","volume":"5","author":"B Kooi","year":"2012","unstructured":"Kooi, B., and A. Tamminga, Completeness via correspondence for extensions of the logic of paradox, Review of Symbolic Logic 5(4):720\u2013730, 2012.","journal-title":"Review of Symbolic Logic"},{"issue":"19","key":"10147_CR48","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S Kripke","year":"1975","unstructured":"Kripke, S., Outline of a theory of truth, Journal of Philosophy 72(19):690\u2013716, 1975.","journal-title":"Journal of Philosophy"},{"key":"10147_CR49","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/BF02379018","volume":"5","author":"RL Martin","year":"1975","unstructured":"Martin, R. L., and P. W. Woodruff, On representing \u2018True-in-$$L$$\u2019 in $$L$$, Philosophia 5:213-17, 1975.","journal-title":"Philosophia"},{"key":"10147_CR50","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-662-55665-8_19","volume-title":"Logic, Rationality, and Interaction","author":"H Omori","year":"2017","unstructured":"Omori, H., and D. Szmuc, Conjunction and disjunction in infectious logics, in A. Baltag, J. Seligman, and T. Yamada, (eds.), Logic, Rationality, and Interaction, Springer, Berlin, 2017, pp. 268\u2013283."},{"key":"10147_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31136-0","volume-title":"New Essays on Belnap-Dunn Logic","author":"H Omori","year":"2019","unstructured":"Omori, H., and H. Wansing, New Essays on Belnap-Dunn Logic, Springer, Berlin, 2019."},{"issue":"4","key":"10147_CR52","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s11225-019-09876-z","volume":"108","author":"F Paoli","year":"2020","unstructured":"Paoli, F., and M. Pra Baldi, Proof theory of paraconsistent Weak Kleene logic, Studia Logica 108(4):779\u2013802, 2020.","journal-title":"Studia Logica"},{"key":"10147_CR53","unstructured":"Paoli, F., and M. Pra Baldi, The algebra of three-valued logics, in P. Egr\u00e9, and L. Rossi, (eds.), Handbook of Trivalent Logic, MIT Press, Cambridge, forthcoming."},{"key":"10147_CR54","first-page":"197","volume":"26","author":"Y Petrukhin","year":"2017","unstructured":"Petrukhin, Y., Natural deduction for three-valued regular logics, Logic and Logical Philosophy 26:197\u2013206, 2017.","journal-title":"Logic and Logical Philosophy"},{"issue":"2","key":"10147_CR55","doi-asserted-by":"publisher","first-page":"183","DOI":"10.4064\/fm-61-2-183-189","volume":"61","author":"J P\u0142onka","year":"1967","unstructured":"P\u0142onka, J., On a method of construction of abstract algebras, Fundamenta Mathematicae 61(2):183\u2013189, 1967.","journal-title":"Fundamenta Mathematicae"},{"key":"10147_CR56","doi-asserted-by":"publisher","first-page":"241","DOI":"10.4064\/fm-64-2-241-247","volume":"64","author":"J P\u0142onka","year":"1969","unstructured":"P\u0142onka, J., On equational classes of abstract algebras defined by regular equations, Fundamenta Mathematicae 64:241\u2013247, 1969.","journal-title":"Fundamenta Mathematicae"},{"key":"10147_CR57","first-page":"123","volume-title":"Universal Algebra and Quasigroup Theory","author":"J P\u0142onka","year":"1992","unstructured":"P\u0142onka, J., and A. Romanowska, Semilattice sums, in A. Romanowska, and B. Smith, (eds.), Universal Algebra and Quasigroup Theory, Heldermann, Berlin, 1992, pp. 123\u2013158."},{"issue":"6","key":"10147_CR58","doi-asserted-by":"publisher","first-page":"1255","DOI":"10.1007\/s11225-017-9746-8","volume":"105","author":"A P\u0159enosil","year":"2017","unstructured":"P\u0159enosil, A., Cut elimination, identity elimination, and interpolation in super-Belnap logics, Studia Logica 105(6):1255\u20131289, 2017.","journal-title":"Studia Logica"},{"key":"10147_CR59","doi-asserted-by":"publisher","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"},{"key":"10147_CR60","doi-asserted-by":"crossref","unstructured":"Priest, G., In Contradiction, 1st ed. 1987, 2nd expanded ed., Clarendon, Oxford, 2006.","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"10147_CR61","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of Philosophical Logic","author":"G Priest","year":"2002","unstructured":"Priest, G., Paraconsistent logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, 2nd ed., vol. 6, Kluwer, Dordrecht, 2002, pp. 287\u2013393.","edition":"2"},{"key":"10147_CR62","unstructured":"Priest, G., Natural deduction systems for logics in the FDE family, in [51, pp. 279\u2013292]."},{"key":"10147_CR63","volume-title":"Time and Modality","author":"A Prior","year":"1957","unstructured":"Prior, A., Time and Modality, Oxford University Press, Oxford, 1957."},{"issue":"2","key":"10147_CR64","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"AP Pynko","year":"1995","unstructured":"Pynko, A. P., On Priest\u2019s logic of paradox, Journal of Applied Non Classical Logics 5(2):219\u2013225, 1995.","journal-title":"Journal of Applied Non Classical Logics"},{"issue":"4","key":"10147_CR65","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"AP Pynko","year":"1995","unstructured":"Pynko, A. P., Characterizing Belnap\u2019s logic via De Morgan laws, Mathematical Logic Quarterly 41(4):442\u2013454, 1995.","journal-title":"Mathematical Logic Quarterly"},{"issue":"1\u20132","key":"10147_CR66","first-page":"35","volume":"39","author":"AP Pynko","year":"2010","unstructured":"Pynko, A. P., Gentzen\u2019s cut-free calculus versus the logic of paradox, Bulletin of the Section of Logic 39(1-2):35\u201342, 2010.","journal-title":"Bulletin of the Section of Logic"},{"issue":"1","key":"10147_CR67","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1080\/00048402.2011.630010","volume":"91","author":"D Ripley","year":"2013","unstructured":"Ripley, D., Paradoxes and failures of cut, Australasian Journal of Philosophy 91(1):139-164, 2013.","journal-title":"Australasian Journal of Philosophy"},{"issue":"4","key":"10147_CR68","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1080\/11663081.2012.737154","volume":"22","author":"U Rivieccio","year":"2012","unstructured":"Rivieccio, U., An infinity of super-Belnap logics Journal of Applied Non-Classical Logics 22(4):319\u2013335, 2012.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10147_CR69","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF01230618","volume":"23","author":"A Romanowska","year":"1986","unstructured":"Romanowska, A., On regular and regularised varieties, Algebra Universalis 23:215\u2013241, 1986.","journal-title":"Algebra Universalis"},{"key":"10147_CR70","doi-asserted-by":"publisher","DOI":"10.1142\/4953","volume-title":"Modes","author":"A Romanowska","year":"2002","unstructured":"Romanowska, A., and J. D. Smith, Modes, World Scientific, Singapore, 2002."},{"issue":"2","key":"10147_CR71","first-page":"277","volume":"28","author":"D Szmuc","year":"2019","unstructured":"Szmuc, D., An epistemic interpretation of Paraconsistent Weak Kleene Logic, Logic and Logical Philosophy 28(2):277\u2013330, 2019.","journal-title":"Logic and Logical Philosophy"},{"key":"10147_CR72","first-page":"255","volume":"20","author":"A Tamminga","year":"2014","unstructured":"Tamminga, A., Correspondence analysis for strong three-valued logic, Logical Investigations 20:255\u2013268, 2014.","journal-title":"Logical Investigations"},{"key":"10147_CR73","volume-title":"Logics for Artificial Intelligence","author":"R Turner","year":"1984","unstructured":"Turner, R., Logics for Artificial Intelligence, Ellis Horwood, Stanford, 1984."},{"key":"10147_CR74","first-page":"249","volume-title":"Handbook of Philosophical Logic","author":"A Urquhart","year":"2002","unstructured":"Urquhart, A., Basic many-valued logic, in D.M. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic, 2nd ed., vol. 6, Kluwer, Dordrecht, 2002, pp. 249\u2013295.","edition":"2"},{"key":"10147_CR75","unstructured":"Woodruff, P., On constructive nonsense logic, in S. Halld\u00e9n, (ed.), Modality, Morality, and Other Problems of Sense and Nonsense: Essays Dedicated to S\u00f6ren Halld\u00e9n, GWK Gleerup Bokforlag, Lund, 1973, pp. 192\u2013205."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10147-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10147-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10147-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T14:07:52Z","timestamp":1732111672000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10147-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":75,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["10147"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10147-9","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"13 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}