{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T18:58:10Z","timestamp":1757617090137,"version":"3.44.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:00:00Z","timestamp":1730246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T00:00:00Z","timestamp":1730246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDB\/50008\/2020"],"award-info":[{"award-number":["UIDB\/50008\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1007\/s11225-024-10135-z","type":"journal-article","created":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:40:26Z","timestamp":1730288426000},"page":"887-914","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Infinite Family of Finite-Valued Paraconsistent Algebraizable Logics"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7659-4445","authenticated-orcid":false,"given":"Hugo","family":"Albuquerque","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5587-6585","authenticated-orcid":false,"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,30]]},"reference":[{"issue":"4","key":"10135_CR1","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1017\/bsl.2022.36","volume":"28","author":"H Albuquerque","year":"2022","unstructured":"Albuquerque, H., and C. Caleiro, An Abstract Algebraic Logic study of da Costa\u2019s logic $$\\mathbb{C}_1$$ and some of its paraconsistent extensions, Bulletin of Symbolic Logic, 28(4): 477\u2013528, 2022.","journal-title":"Bulletin of Symbolic Logic"},{"key":"10135_CR2","doi-asserted-by":"publisher","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, vol. 16 of Outstanding Contributions to Logic, Springer, 2018, pp. 53\u201379. https:\/\/doi.org\/10.1007\/978-3-319-74772-9.","DOI":"10.1007\/978-3-319-74772-9."},{"key":"10135_CR3","unstructured":"Bergman, C., Universal Algebra, vol.\u00a0301 of Pure and Applied Mathematics, CRC Press, 2012. Fundamentals and selected topics."},{"key":"10135_CR4","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1090\/S0002-9904-1944-08235-9","volume":"50","author":"G Birkhoff","year":"1944","unstructured":"Birkhoff, G. Subdirect unions in universal algebra, Bulletin of the American Mathematical Society 50:764\u2013768, 1944.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10135_CR5","doi-asserted-by":"crossref","unstructured":"Blok, W.\u00a0J., and B. J\u00f3nsson,  Equivalence of consequence operations, Studia Logica 83(1\u20133):91\u2013110, 2006. With a preface by J\u00f3nsson.","DOI":"10.1007\/s11225-006-8299-z"},{"key":"10135_CR6","doi-asserted-by":"crossref","unstructured":"Blok, W.\u00a0J., and D. Pigozzi, Algebraizable Logics, vol. 77 of Memoirs of the American Mathematical Society, Providence, Rhode Island, 1989.","DOI":"10.1090\/memo\/0396"},{"issue":"1\u20132","key":"10135_CR7","doi-asserted-by":"publisher","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":"10135_CR8","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":"2","key":"10135_CR9","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1017\/S1446788700016463","volume":"30","author":"X Caicedo","year":"1980","unstructured":"Caicedo, X., The subdirect decomposition theorem for classes of structures closed under direct limits, Journal of the Australian Mathematical Society Serries A 30(2):171\u2013179, 1980.","journal-title":"Journal of the Australian Mathematical Society Serries A"},{"issue":"3","key":"10135_CR10","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1305\/ndjfl\/1022615617","volume":"40","author":"WA Carnielli","year":"1999","unstructured":"Carnielli, W.\u00a0A., and J. Marcos, Limits for paraconsistent calculi, Notre Dame Journal of Formal Logic 40(3):375\u2013390, 1999.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10135_CR11","unstructured":"Carnielli, W.\u00a0A., and J. Marcos, A taxonomy of $${\\bf C}$$-systems, in Paraconsistency (S\u00e3o Sebasti\u00e3o, 2000), vol.\u00a0228 of Lecture Notes in Pure and Applied Mathematics, Dekker, New York, 2002, pp.\u00a01\u201394."},{"key":"10135_CR12","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":"10135_CR13","first-page":"3790","volume":"257","author":"NCA da Costa","year":"1963","unstructured":"da\u00a0Costa, N. C.\u00a0A., Calculs propositionnels pour les syst\u00e8mes formels inconsistants, Comptes Rendus de l\u2019Acad\u00e9mie des Sciences Paris 257:3790\u20133792, 1963.","journal-title":"Comptes Rendus de l\u2019Acad\u00e9mie des Sciences Paris"},{"key":"10135_CR14","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1305\/ndjfl\/1093891487","volume":"15","author":"NCA da Costa","year":"1974","unstructured":"da\u00a0Costa, N. C.\u00a0A., On the theory of inconsistent formal systems, Notre Dame J. Formal Logic 15:497\u2013510, 1974.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"10135_CR15","doi-asserted-by":"crossref","unstructured":"Font, J.\u00a0M., An abstract algebraic logic view of some multiple-valued logics, in M. Fitting, and E. Or\u0142owska, (eds.), Beyond Two: Theory and Applications of Multiple-valued Logic, vol.\u00a0114 of Studies in Fuzziness and Soft Computing Physica, Heidelberg, 2003, pp.\u00a025\u201357.","DOI":"10.1007\/978-3-7908-1769-0_2"},{"key":"10135_CR16","unstructured":"Font, J.\u00a0M., Abstract Algebraic Logic\u2014An Introductory Textbook, vol.\u00a060 of Studies in Logic, College Publications, London, 2016."},{"key":"10135_CR17","doi-asserted-by":"crossref","unstructured":"Font, J.\u00a0M., Abstract algebraic logic, in N. Galatos, and K. Terui, (eds.), Hiroakira Ono on Substructural Logics, vol. 23 of Outstanding Contributions to Logic, Springer, Cham, 2022, pp.\u00a071\u2013142.","DOI":"10.1007\/978-3-030-76920-8_3"},{"key":"10135_CR18","doi-asserted-by":"crossref","unstructured":"Font, J.\u00a0M., R. Jansana, and D. Pigozzi,  A survey of abstract algebraic logic, Studia Logica  74(1\u20132):13\u201397, 2003. Abstract algebraic logic, Part II (Barcelona, 1997).","DOI":"10.1023\/A:1024621922509"},{"key":"10135_CR19","unstructured":"Gorbunov, V.\u00a0A., Algebraic Theory of Quasivarieties, Siberian School of Algebra and Logic, Consultants Bureau, New York, 1998. Translated from the Russian."},{"key":"10135_CR20","unstructured":"Jansana, R, Abstract algebraic logic, Lecture notes, 2014."},{"key":"10135_CR21","unstructured":"Lewin, R.\u00a0A., I.\u00a0F. Mikenberg, and M. G. Schwarze, Algebraization of paraconsistent logic $$P^1$$, Journal of Non-Classical Logics 7(1\u20132): 79\u201388, 1990."},{"key":"10135_CR22","unstructured":"Mal\u2019cev, A.\u00a0I., Subdirect products of models, Doklady Akademii Nauk SSSR (N.S.) 109:264\u2013266, 1956."},{"key":"10135_CR23","doi-asserted-by":"crossref","unstructured":"Mortensen, C., Paraconsistency and $$\\cal{C}_1$$, in G.\u00a0Priest, R.\u00a0Sylvan, and J.\u00a0Norman, (eds.), Paraconsistent Logic: Essays on the inconsistent, Philosophi Verlag, 1989, pp.\u00a0289\u2013305.","DOI":"10.2307\/j.ctv2x8v8c7.13"},{"key":"10135_CR24","unstructured":"Pigozzi, D.\u00a0J., Fregean algebraic logic, in Algebraic Logic (Budapest, 1988), vol.\u00a054 of Colloquia Mathematica Societatis J\u00e1nos Bolyai, North-Holland, Amsterdam, 1991, pp.\u00a0473\u2013502."},{"issue":"1","key":"10135_CR25","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF01058534","volume":"54","author":"AP Pynko","year":"1995","unstructured":"Pynko, A.\u00a0P., Algebraic study of Sette\u2019s maximal paraconsistent logic, Studia Logica 54(1):89\u2013128, 1995.","journal-title":"Studia Logica"},{"key":"10135_CR26","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"},{"key":"10135_CR27","first-page":"173","volume":"18","author":"AM Sette","year":"1973","unstructured":"Sette, A.\u00a0M., On the propositional calculus $$P^{1}$$, Mathematica Japonicae 18:173\u2013180, 1973.","journal-title":"Mathematica Japonicae"},{"key":"10135_CR28","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":"10135_CR29","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of logical calculi: Basic theory of consequence operations, vol.\u00a0199 of Synthese Library, Kluwer Academic Publishers Group, Dordrecht, 1988.","DOI":"10.1007\/978-94-015-6942-2"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10135-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10135-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10135-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,5]],"date-time":"2025-09-05T23:37:15Z","timestamp":1757115435000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10135-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,30]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["10135"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10135-z","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,10,30]]},"assertion":[{"value":"30 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}