{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T15:18:47Z","timestamp":1787498327234,"version":"build-2736575974"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,10,14]],"date-time":"2016-10-14T00:00:00Z","timestamp":1476403200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1007\/s11225-016-9689-5","type":"journal-article","created":{"date-parts":[[2016,10,13]],"date-time":"2016-10-13T21:06:15Z","timestamp":1476392775000},"page":"253-297","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":50,"title":["On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis"],"prefix":"10.1007","volume":"105","author":[{"given":"Stefano","family":"Bonzio","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jos\u00e9","family":"Gil-F\u00e9rez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Paoli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luisa","family":"Peruzzi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,10,14]]},"reference":[{"key":"9689_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-78160-5","volume-title":"The Logic of Partial Information","author":"A.N. Abdallah","year":"1995","unstructured":"Abdallah A.N.: The Logic of Partial Information. Springer, Berlin (1995)"},{"key":"9689_CR2","doi-asserted-by":"crossref","first-page":"207","DOI":"10.4064\/fm-68-2-207-214","volume":"68","author":"R. Balbes","year":"1970","unstructured":"Balbes R.: A representation theorem for distributive quasilattices. Fundamenta Mathematicae 68, 207\u2013214 (1970)","journal-title":"Fundamenta Mathematicae"},{"key":"9689_CR3","unstructured":"Beall, J. C., R. Ciuni, and F. Paoli, Towards a weak logic of antinomies: a philosophical interpretation of Paraconsistent Weak Kleene, in preparation."},{"key":"9689_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801129","volume-title":"An Introduction to Many-Valued and Fuzzy Logic","author":"M. Bergmann","year":"2008","unstructured":"Bergmann M.: An Introduction to Many-Valued and Fuzzy Logic. Cambridge University Press, Cambridge (2008)"},{"key":"9689_CR5","doi-asserted-by":"crossref","unstructured":"Blok, W. J., and D. Pigozzi, Algebraizable Logics, vol. 396, Memoirs of the American Mathematical Society (AMS), Providence, January 1989.","DOI":"10.1090\/memo\/0396"},{"key":"9689_CR6","first-page":"287","volume":"4","author":"D.A. 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 Sbornik 4, 287\u2013308 (1938)","journal-title":"Mathematicheskii Sbornik"},{"issue":"3","key":"9689_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1080\/00048407312341261","volume":"51","author":"R. Brady","year":"1973","unstructured":"Brady R., Routley R.: Don\u2019t care was made to care. Australasian Journal of Philosophy 51(3), 211\u2013225 (1973)","journal-title":"Australasian Journal of Philosophy"},{"key":"9689_CR8","doi-asserted-by":"crossref","unstructured":"Brzozowski, J. A., De morgan bisemilattices, in 30th IEEE International Symposium on Multiple-Valued Logic, IEEE Press, Los Alamitos, 2000, pp. 23\u201325.","DOI":"10.1109\/ISMVL.2000.848616"},{"key":"9689_CR9","unstructured":"Ciuni, R., and M. Carrara, Characterizing logical consequence in paraconsistent weak kleene, in L. Felline, F. Paoli, and E. Rossanese (eds.), New Developments in Logic and the Philosophy of Science, College, London, 2016."},{"key":"9689_CR10","unstructured":"Cobreros, P., and M. Carrara, Tree-based analysis of paraconsistent weak kleene, typescript."},{"key":"9689_CR11","doi-asserted-by":"crossref","unstructured":"Coniglio, M., and M. I. Corbal\u00e1n, Sequent calculi for the classical fragment of bochvar and halld\u00e9n\u2019s nonsense logics, in Proceedings of LSFA 2012, 2012, pp. 125\u2013136.","DOI":"10.4204\/EPTCS.113.12"},{"issue":"1","key":"9689_CR12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1023\/A:1025797422998","volume":"46","author":"I. Dolinka","year":"2003","unstructured":"Dolinka I., Vin\u010di\u0107 M.: Involutorial P\u0142onka sums. Periodica Mathematica Hungarica 46(1), 17\u201331 (2003)","journal-title":"Periodica Mathematica Hungarica"},{"issue":"4","key":"9689_CR13","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1080\/11663081.2014.980116","volume":"24","author":"M. Ferguson T.","year":"2014","unstructured":"Ferguson T. M.: A computational interpretation of conceptivism. Journal of Applied Non-Classical Logics 24(4), 333\u2013367 (2014)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9689_CR14","doi-asserted-by":"crossref","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":"1\u20133","key":"9689_CR15","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1111\/j.1755-2567.1993.tb00871.x","volume":"59","author":"V.K. Finn","year":"1993","unstructured":"Finn V.K., Grigolia R.: Nonsense logics and their algebraic properties. Theoria 59(1\u20133), 207\u2013273 (1993)","journal-title":"Theoria"},{"issue":"3","key":"9689_CR16","first-page":"413","volume":"5","author":"J.M. Font","year":"1997","unstructured":"Font J.M.: Belnap\u2019s four-valued logic and De Morgan lattices. Logic Journal of the I.G.P.L. 5(3), 413\u2013440 (1997)","journal-title":"Logic Journal of the I.G.P.L."},{"key":"9689_CR17","unstructured":"Font, J. M., Abstract Algebraic Logic: An Introductory Textbook, College Publications, London, 2016."},{"key":"9689_CR18","unstructured":"Font, J. M., and R. Jansana, A general algebraic semantics for sentential logics, in Lecture Notes in Logic, vol. 7, Second Edition, Springer-Verlag, 2009, Electronic version freely available through Project Euclid at http:\/\/projecteuclid.org\/euclid.lnl\/1235416965 ."},{"key":"9689_CR19","doi-asserted-by":"crossref","unstructured":"Font, J. M., R. Jansana, and D. Pigozzi, A survey on abstract algebraic logic, Studia Logica, Special Issue on Abstract Algebraic Logic, Part II, 74(1\u20132):13\u201397, 2003, With an \u201cUpdate\u201d in 91:125\u2013130, 2009.","DOI":"10.1023\/A:1024621922509"},{"key":"9689_CR20","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1017\/S1446788700034224","volume":"51","author":"G. Gierz","year":"1991","unstructured":"Gierz G., Romanowska A.: Duality for distributive bisemilattices. Journal of the Australian Mathematical Society, A 51, 247\u2013275 (1991)","journal-title":"Journal of the Australian Mathematical Society, A"},{"key":"9689_CR21","unstructured":"Halld\u00e9n, S., The Logic of Nonsense, Lundequista Bokhandeln, Uppsala, 1949."},{"key":"9689_CR22","doi-asserted-by":"crossref","first-page":"613","DOI":"10.2307\/2309121","volume":"65","author":"H. Hi\u017c","year":"1958","unstructured":"Hi\u017c H.: A warning about translating axioms. The American Mathematical Monthly 65, 613\u2013614 (1958)","journal-title":"The American Mathematical Monthly"},{"issue":"1","key":"9689_CR23","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1080\/01445349808837294","volume":"19","author":"L. Humberstone I.","year":"1998","unstructured":"Humberstone I. L.: Choice of primitives: a note on axiomatizing intuitionistic logic. History and Philosophy of Logic 19(1), 31\u201340 (1998)","journal-title":"History and Philosophy of Logic"},{"issue":"185-188","key":"9689_CR24","first-page":"395","volume":"47","author":"I.L. Humberstone","year":"2004","unstructured":"Humberstone I.L.: Yet another \u201cchoice of primitives\u201d warning: normal modal logics. Logique et Anal. (N.S.) 47(185-188), 395\u2013407 (2004)","journal-title":"Logique et Anal. (N.S.)"},{"issue":"71","key":"9689_CR25","doi-asserted-by":"crossref","first-page":"161","DOI":"10.4064\/fm-71-2-161-163","volume":"2","author":"J. Kalman","year":"1971","unstructured":"Kalman J.: Subdirect decomposition of distributive quasilattices. Fundamenta Mathematicae 2(71), 161\u2013163 (1971)","journal-title":"Fundamenta Mathematicae"},{"key":"9689_CR26","unstructured":"Kleene, S. C., Introduction to Metamathematics, North Holland, Amsterdam, 1952."},{"key":"9689_CR27","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/BFb0029594","volume":"452","author":"D. Kozen","year":"1990","unstructured":"Kozen D.: On kleene algebras and closed semirings. Lecture Notes in Computer Science 452, 26\u201347 (1990)","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"9689_CR28","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1090\/S0002-9947-1971-0281661-3","volume":"158","author":"R. Padhmanabhan","year":"1971","unstructured":"Padhmanabhan R.: Regular identities in lattices. Transactions of the American Mathematical Society 158(1), 179\u2013188 (1971)","journal-title":"Transactions of the American Mathematical Society"},{"key":"9689_CR29","unstructured":"Paoli, F., Tautological entailments and their rivals, in J. Y. Beziau et\u00a0al., (ed.), Handbook of Paraconsistency, College Publications, London, 2007."},{"issue":"2","key":"9689_CR30","doi-asserted-by":"crossref","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":"9689_CR31","doi-asserted-by":"crossref","first-page":"191","DOI":"10.4064\/fm-60-2-191-200","volume":"60","author":"J. P\u0142onka","year":"1967","unstructured":"P\u0142onka J.: On distributive quasilattices. Fundamenta Mathematicae 60, 191\u2013200 (1967)","journal-title":"Fundamenta Mathematicae"},{"issue":"3","key":"9689_CR32","doi-asserted-by":"crossref","first-page":"301","DOI":"10.4064\/fm-62-3-301-308","volume":"62","author":"J. P\u0142onka","year":"1968","unstructured":"P\u0142onka J.: Some remarks on direct systems of algebras. Fundamenta Mathematicae 62(3), 301\u2013308 (1968)","journal-title":"Fundamenta Mathematicae"},{"key":"9689_CR33","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"},{"key":"9689_CR34","doi-asserted-by":"crossref","unstructured":"Priest, G., In Contradiction, Second Edition, Oxford University Press, Oxford, 2006.","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001"},{"key":"9689_CR35","unstructured":"Prior, A., Time and Modality, Oxford University Press, Oxford, 1957."},{"issue":"2","key":"9689_CR36","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"A.P. 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"},{"key":"9689_CR37","unstructured":"Raftery, J. G., The equational definability of truth predicates, Reports on Mathematical Logic (Special Issue in Memory of Willem Blok) (41):95\u2013149, 2006."},{"issue":"4","key":"9689_CR38","doi-asserted-by":"crossref","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":"9689_CR39","unstructured":"Turner, R., Logics for Artificial Intelligence, Ellis Horwood, Stanford, 1984."},{"key":"9689_CR40","unstructured":"Williamson, T., Vagueness, Routledge, London, 1994."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-016-9689-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-016-9689-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,19]],"date-time":"2024-06-19T18:51:07Z","timestamp":1718823067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-016-9689-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,14]]},"references-count":40,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,4]]}},"alternative-id":["9689"],"URL":"https:\/\/doi.org\/10.1007\/s11225-016-9689-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,14]]}}}