{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T12:43:45Z","timestamp":1749645825078,"version":"3.37.3"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T00:00:00Z","timestamp":1656720000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T00:00:00Z","timestamp":1656720000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100006181","name":"FAPESB","doi-asserted-by":"crossref","award":["APP0072\/2016"],"award-info":[{"award-number":["APP0072\/2016"]}],"id":[{"id":"10.13039\/501100006181","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1007\/s00153-022-00834-6","type":"journal-article","created":{"date-parts":[[2022,7,2]],"date-time":"2022-07-02T17:02:51Z","timestamp":1656781371000},"page":"113-145","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Filter pairs and natural extensions of logics"],"prefix":"10.1007","volume":"62","author":[{"given":"Peter","family":"Arndt","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9745-2411","authenticated-orcid":false,"given":"Hugo Luiz","family":"Mariano","sequence":"additional","affiliation":[]},{"given":"Darllan Concei\u00e7\u00e3o","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,7,2]]},"reference":[{"issue":"2","key":"834_CR1","first-page":"257","volume":"4","author":"P Arndt","year":"2018","unstructured":"Arndt, P., Mariano, H.L., Pinto, D.C.: Finitary Filter Pairs and Propositional Logics. South American Journal of Logic 4(2), 257\u2013280 (2018)","journal-title":"South American Journal of Logic"},{"key":"834_CR2","unstructured":"Arndt, P., Mariano, H. L., Pinto, D. C.: Congruence filter pairs, adjoints and Leibniz hierarchy, arXiv:2109.01065, (2021)"},{"key":"834_CR3","unstructured":"Arndt, P., Mariano, H. L., Pinto, D. C.: Congruence filter pairs, equational filter pairs and generalizations, in preparation, (2021)"},{"key":"834_CR4","unstructured":"Arndt, P., Mariano, H. L., Pinto, D. C.: Horn filter pairs and Craig interpolation in propositional logic, in preparation, (2021)"},{"key":"834_CR5","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J.: Locally Presentable and Accessible Categories. Lecture Notes Series of the LMS, vol. 189. Cambridge University Press, Cambridge, Great Britain (1994)"},{"key":"834_CR6","volume-title":"Handbook of Philosophical Logic","author":"A Avron","year":"2011","unstructured":"Avron, A., Zamansky, A.: Non-Deterministic Semantics for Logical Systems. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 16. Springer, Dordrecht (2011)"},{"key":"834_CR7","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/BF02218674","volume":"9","author":"S Bloom","year":"1970","unstructured":"Bloom, S., Brown, D., Suszko, R.: Some theorems on abstract logics. Algebra Logika 9, 274\u2013280 (1970)","journal-title":"Algebra Logika"},{"key":"834_CR8","volume-title":"Algebraizable logics, Memoirs of the AMS 396","author":"WJ Blok","year":"1989","unstructured":"Blok, W.J., Pigozzi, D.: Algebraizable logics, Memoirs of the AMS 396. American Mathematical Society, Providence, USA (1989)"},{"issue":"4","key":"834_CR9","doi-asserted-by":"publisher","first-page":"815","DOI":"10.1007\/s11225-014-9594-8","volume":"103","author":"P Cintula","year":"2015","unstructured":"Cintula, P., Noguera, C.: A note on natural extensions in abstract algebraic logic. Stud. Logica. 103(4), 815\u2013823 (2015)","journal-title":"Stud. Logica."},{"key":"834_CR10","doi-asserted-by":"crossref","unstructured":"Czelakowski, J.: Protoalgebraic logics, Trends in Logic\u2014Studia Logica Library 10, Kluwer Academic Publishers, xii+452 pp., (2001)","DOI":"10.1007\/978-94-017-2807-2"},{"issue":"5","key":"834_CR11","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1093\/jigpal\/jzx022","volume":"25","author":"D Ellerman","year":"2017","unstructured":"Ellerman, D.: Logical information theory: new logical foundations for information theory. Logic Journal of the IGPL 25(5), 806\u2013835 (2017)","journal-title":"Logic Journal of the IGPL"},{"key":"834_CR12","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, Mathematical Logic and Foundations (2016)"},{"key":"834_CR13","unstructured":"Font, J. M.: Generalized Matrices in Abstract Algebraic Logic. In: Hendricks V.F., Malinowski J. (eds) Trends in Logic. Trends in Logic (Studia Logica Library), vol 21. Springer, Dordrecht"},{"key":"834_CR14","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S1385-7258(58)50024-9","volume":"20","author":"J \u0141o\u015b","year":"1958","unstructured":"\u0141o\u015b, J., Suszko, R.: Remarks on sentential logics. Indag. Math. 20, 177\u2013183 (1958)","journal-title":"Indag. Math."},{"key":"834_CR15","unstructured":"Mariano, H. L., Pinto, D. C.: Representation theory of logics: a categorial approach, arXiv preprint, arXiv:1405.2429, (2014)"},{"issue":"4","key":"834_CR16","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/jigpal\/jzx014","volume":"25","author":"HL Mariano","year":"2017","unstructured":"Mariano, H.L., Pinto, D.C.: Algebraizable Logics and a functorial encoding of its morphisms. Logic Journal of the IGPL 25(4), 524\u2013561 (2017)","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"834_CR17","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1007\/s11225-016-9671-2","volume":"104","author":"A P\u0159enosil","year":"2016","unstructured":"P\u0159enosil, A.: Constructing natural extensions of propositional logics. Stud. Logica. 104(6), 1179\u20131190 (2016)","journal-title":"Stud. Logica."},{"issue":"4","key":"834_CR18","doi-asserted-by":"publisher","first-page":"610","DOI":"10.2307\/2272465","volume":"36","author":"DJ Shoesmith","year":"1971","unstructured":"Shoesmith, D.J., Smiley, T.J.: Deducibility and many-valuedness. J. Symb. Log. 36(4), 610\u2013622 (1971)","journal-title":"J. Symb. Log."},{"key":"834_CR19","unstructured":"Taylor, P.: Practical foundations of mathematics, Cambridge Studies in Advanced Mathematics, Cambridge University Press, (1999)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00834-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-022-00834-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-022-00834-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,18]],"date-time":"2023-01-18T13:04:33Z","timestamp":1674047073000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-022-00834-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,2]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["834"],"URL":"https:\/\/doi.org\/10.1007\/s00153-022-00834-6","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"type":"print","value":"0933-5846"},{"type":"electronic","value":"1432-0665"}],"subject":[],"published":{"date-parts":[[2022,7,2]]},"assertion":[{"value":"26 September 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 May 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 July 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}