{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:43:28Z","timestamp":1774953808582,"version":"3.50.1"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T00:00:00Z","timestamp":1501200000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["P202\/12\/G061"],"award-info":[{"award-number":["P202\/12\/G061"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["PIRSES-GA-2012-318986"],"award-info":[{"award-number":["PIRSES-GA-2012-318986"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1007\/s11225-017-9739-7","type":"journal-article","created":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T22:29:00Z","timestamp":1501194540000},"page":"1051-1086","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["An Algebraic View of Super-Belnap Logics"],"prefix":"10.1007","volume":"105","author":[{"given":"Hugo","family":"Albuquerque","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0377-0783","authenticated-orcid":false,"given":"Adam","family":"P\u0159enosil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Rivieccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,28]]},"reference":[{"key":"9739_CR1","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1006\/jabr.1994.1147","volume":"166","author":"ME Adams","year":"1994","unstructured":"Adams, M. E., and W. Dziobiak, Lattices of quasivarieties of 3-element algebras, Journal of Algebra 166: 181\u2013210, 1994.","journal-title":"Journal of Algebra"},{"key":"9739_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-017-9709-0","author":"H Albuquerque","year":"2017","unstructured":"Albuquerque, H., J.\u00a0M. Font, and R. Jansana, The strong version of a sentential logic, Studia Logica, 2017. doi: 10.1007\/s11225-017-9709-0 .","journal-title":"Studia Logica"},{"issue":"2","key":"9739_CR3","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/jsl.2015.39","volume":"81","author":"H Albuquerque","year":"2016","unstructured":"Albuquerque, H., J. M. Font, and R. Jansana, Compatibility operators in abstract algebraic logic, The Journal of Symbolic Logic 81(2): 417\u2013462, 2016.","journal-title":"The Journal of Symbolic Logic"},{"key":"9739_CR4","unstructured":"Albuquerque, H., J.\u00a0M. Font, R. Jansana, and T. Moraschini, Assertional logics, truth-equational logics and the hierarchies of AAL, in J.\u00a0Czelakowski, (ed.), Don Pigozzi on Abstract Algebraic Logic and Universal Algebra. To appear."},{"key":"9739_CR5","unstructured":"Anderson, A. R., and N. D. Belnap, Entailment: The Logic of Relevance and Necessity, vol.\u00a01, Princeton University Press, 1975."},{"issue":"1","key":"9739_CR6","doi-asserted-by":"crossref","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"},{"key":"9739_CR7","first-page":"59","volume":"37","author":"SV Babyonyshev","year":"2003","unstructured":"Babyonyshev, S.\u00a0V., Fully Fregean logics, Reports on Mathematical Logic 37: 59\u201377, 2003.","journal-title":"Reports on Mathematical Logic"},{"key":"9739_CR8","doi-asserted-by":"crossref","unstructured":"Beall, J. C., T. Forster, and J. Seligman, A note on freedom from detachment in the Logic of Paradox, Notre Dame Journal of Formal Logic 54(1): 15\u201320, 2013.","DOI":"10.1215\/00294527-1731353"},{"key":"9739_CR9","first-page":"30","volume-title":"Contemporary Aspects of Philosophy","author":"ND Belnap","year":"1977","unstructured":"Belnap, N.\u00a0D., How a computer should think, in G.\u00a0Ryle, (ed.), Contemporary Aspects of Philosophy, Oriel Press, Boston, 1977, pp. 30\u201356."},{"key":"9739_CR10","doi-asserted-by":"crossref","unstructured":"Belnap, N.\u00a0D., A useful four-valued logic, in J.\u00a0M. Dunn, and G.\u00a0Epstein, (eds.), Modern uses of multiple-valued logic, Reidel, Dordrecht. Episteme, Vol.\u00a02, 1977, pp. 5\u201337.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"9739_CR11","doi-asserted-by":"crossref","unstructured":"Blok, W.\u00a0J., and D. Pigozzi, Algebraizable logics, Memoirs of the American Mathematical Society 77, 396, vi+78, 1989.","DOI":"10.1090\/memo\/0396"},{"issue":"4","key":"9739_CR12","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1142\/S0218196708004627","volume":"18","author":"WJ Blok","year":"2008","unstructured":"Blok, W.\u00a0J., and J.\u00a0G. Raftery, Assertionally equivalent quasivarieties, International Journal of Algebra and Computation 18(4): 589\u2013681, 2008.","journal-title":"International Journal of Algebra and Computation"},{"issue":"1\u20132","key":"9739_CR13","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1023\/A:1024626023417","volume":"74","author":"WJ Blok","year":"2003","unstructured":"Blok, W.\u00a0J., and J. Rebagliato, Algebraic semantics for deductive systems, Studia Logica 74(1\u20132): 153\u2013180, 2003.","journal-title":"Studia Logica"},{"key":"9739_CR14","unstructured":"Bou, F., Implicaci\u00f3n estricta y l\u00f3gicas subintuicionistas, Master\u2019s thesis, Universitat de Barcelona, 2001."},{"key":"9739_CR15","doi-asserted-by":"crossref","unstructured":"Burris, S., and H.\u00a0P. Sankappanavar, A Course in Universal Algebra, vol.\u00a078 of Graduate Texts in Mathematics, Springer-Verlag, New York, 1981.","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"4","key":"9739_CR16","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1007\/s11225-013-9496-1","volume":"101","author":"P Cintula","year":"2013","unstructured":"Cintula, P., and C. Noguera, The proof by cases property and its variants in structural consequence relations, Studia Logica 101(4): 713\u2013747, 2013.","journal-title":"Studia Logica"},{"key":"9739_CR17","doi-asserted-by":"crossref","unstructured":"Cornish, W. H., and P. R. Fowler, Coproducts of De Morgan algebras, Bulletin of the Australian Mathematical Society 16: 1\u201313, 1977.","DOI":"10.1017\/S0004972700022966"},{"key":"9739_CR18","doi-asserted-by":"crossref","unstructured":"Czelakowski, J., Protoalgebraic logics, vol.\u00a010 of Trends in Logic\u2014Studia Logica Library, Kluwer Academic Publishers, Dordrecht, 2001.","DOI":"10.1007\/978-94-017-2807-2"},{"key":"9739_CR19","unstructured":"Dunn, J.\u00a0M., The algebra of intensional logics, Ph.D. thesis, University of Pittsburgh, Ann Arbor."},{"issue":"3","key":"9739_CR20","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00373152","volume":"29","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.\u00a0M., Intuitive semantics for first-degree entailments and \u2018coupled trees\u2019, Philosophical Studies 29(3): 149\u2013168, 1976.","journal-title":"Philosophical Studies"},{"key":"9739_CR21","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF02120878","volume":"35","author":"JM Dunn","year":"1976","unstructured":"Dunn, J.\u00a0M., A Kripke-style semantics for R-mingle using a binary accessibility relation, Studia Logica 35: 163\u2013172, 1976.","journal-title":"Studia Logica"},{"issue":"1","key":"9739_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1026740726955","volume":"66","author":"JM Dunn","year":"2000","unstructured":"Dunn, J.\u00a0M., Partiality and its dual, Studia Logica 66(1): 5\u201340, 2000.","journal-title":"Studia Logica"},{"issue":"3","key":"9739_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/jigpal\/5.3.1-e","volume":"5","author":"JM Font","year":"1997","unstructured":"Font, J.\u00a0M., 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":"9739_CR24","unstructured":"Font, J.\u00a0M., Abstract Algebraic Logic \u2013 An Introductory Textbook, vol.\u00a060 of Studies in Logic, College Publications, London, 2016."},{"key":"9739_CR25","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/PL00003848","volume":"40","author":"JM Font","year":"2001","unstructured":"Font, J.\u00a0M., and R. Jansana, Leibniz filters and the strong version of a protoalgebraic logic, Archive for Mathematical Logic 40: 437\u2013465, 2001.","journal-title":"Archive for Mathematical Logic"},{"key":"9739_CR26","unstructured":"Font, J.\u00a0M., and R. J., A general algebraic semantics for sentential logics, vol.\u00a07 of Lecture Notes in Logic, second revised edition, Association for Symbolic Logic, 2009. Electronic version freely available through Project Euclid at http:\/\/projecteuclid.org\/euclid.lnl\/1235416965 . First edition published by Springer-Verlag, 1996."},{"key":"9739_CR27","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s11225-005-7248-6","volume":"78","author":"H Gait\u00e1n","year":"2004","unstructured":"Gait\u00e1n, H., and M.\u00a0H. Perea, A non-finitely based quasi-variety of De Morgan algebras, Studia Logica 78: 237\u2013248, 2004.","journal-title":"Studia Logica"},{"key":"9739_CR28","unstructured":"Hell, P., and J. Ne\u0161et\u0159il, Graphs and homomorphisms, vol.\u00a028 of Oxford Lecture Series in Mathematics and its Applications, Oxford University Press, Oxford, 2004."},{"key":"9739_CR29","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/s11225-006-9003-z","volume":"84","author":"R Jansana","year":"2006","unstructured":"Jansana, R., Selfextensional logics with a conjunction, Studia Logica 84: 63\u2013104, 2006.","journal-title":"Studia Logica"},{"issue":"2","key":"9739_CR30","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1090\/S0002-9947-1958-0095135-X","volume":"87","author":"JA Kalman","year":"1958","unstructured":"Kalman, J.\u00a0A., Lattices with involution, Transactions of the American Mathematical Society 87(2): 485\u2013491, 1958.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"4","key":"9739_CR31","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S.\u00a0C., On notation for ordinal numbers, The Journal of Symbolic Logic 3(4): 150\u2013155, 1938.","journal-title":"The Journal of Symbolic Logic"},{"key":"9739_CR32","unstructured":"Kleene, S.\u00a0C., Introduction to Metamathematics, vol.\u00a01 of Bibliotheca Mathematica, North-Holland Publishing Co., Amsterdam, 1952."},{"issue":"19","key":"9739_CR33","doi-asserted-by":"crossref","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"SA Kripke","year":"1975","unstructured":"Kripke, S.\u00a0A., Outline of a theory of truth, Journal of Philosophy 72(19): 690\u2013716, 1975.","journal-title":"Journal of Philosophy"},{"key":"9739_CR34","volume-title":"Topics in Modern Logic","author":"DC Makinson","year":"1973","unstructured":"Makinson, D.\u00a0C., Topics in Modern Logic, Methuen, London, 1973."},{"key":"9739_CR35","first-page":"277","volume-title":"Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday","author":"J Marcos","year":"2011","unstructured":"Marcos, J., The value of the two values, in M.\u00a0E. Coniglio, and J.-Y. B\u00e9ziau, (eds.), Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the occasion of his 60th birthday, College Publications, London, 2011, pp. 277\u2013294."},{"key":"9739_CR36","doi-asserted-by":"crossref","unstructured":"Pietz, A., and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42(1): 125\u2013135, 2013.","DOI":"10.1007\/s10992-011-9215-1"},{"issue":"1","key":"9739_CR37","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(1): 219\u2013241, 1979.","journal-title":"Journal of Philosophical Logic"},{"key":"9739_CR38","unstructured":"P\u0159enosil, A., The lattice of super-Belnap logics, 201x. Submitted manuscript."},{"issue":"4","key":"9739_CR39","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1002\/malq.19950410403","volume":"41","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.\u00a0P., Characterizing Belnap\u2019s logic via De Morgan\u2019s laws, Mathematical Logic Quarterly 41(4): 442\u2013454, 1995.","journal-title":"Mathematical Logic Quarterly"},{"issue":"2","key":"9739_CR40","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1080\/11663081.1995.10510856","volume":"5","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.\u00a0P., 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":"1\u20133","key":"9739_CR41","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0012-365X(99)00007-2","volume":"205","author":"AP Pynko","year":"1999","unstructured":"Pynko, A.\u00a0P., Implicational classes of De Morgan lattices, Discrete Mathematics 205(1\u20133): 171\u2013181, 1999.","journal-title":"Discrete Mathematics"},{"issue":"2","key":"9739_CR42","doi-asserted-by":"crossref","first-page":"756","DOI":"10.2307\/2586567","volume":"65","author":"AP Pynko","year":"2000","unstructured":"Pynko, A.\u00a0P., Subprevarieties versus extensions. Application to the logic of paradox, The Journal of Symbolic Logic 65(2): 756\u2013766, 2000.","journal-title":"Application to the logic of paradox, The Journal of Symbolic Logic"},{"key":"9739_CR43","first-page":"95","volume":"41","author":"JG Raftery","year":"2006","unstructured":"Raftery, J.\u00a0G., The equational definability of truth predicates, Reports on Mathematical Logic 41: 95\u2013149, 2006.","journal-title":"Reports on Mathematical Logic"},{"issue":"4","key":"9739_CR44","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":"9739_CR45","volume-title":"Lectures on propositional calculi","author":"R W\u00f3jcicki","year":"1984","unstructured":"W\u00f3jcicki, R., Lectures on propositional calculi, Ossolineum Publishing Co., Wroc\u0142aw, 1984."},{"key":"9739_CR46","unstructured":"W\u00f3jcicki, R., Theory of logical calculi: Basic theory of consequence operations, vol. 199 of Synthese Library, Kluwer Academic Publishers Group, Dordrecht, 1988."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-017-9739-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9739-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-017-9739-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T14:44:27Z","timestamp":1569941067000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-017-9739-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,28]]},"references-count":46,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2017,12]]}},"alternative-id":["9739"],"URL":"https:\/\/doi.org\/10.1007\/s11225-017-9739-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,28]]}}}