{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T13:05:04Z","timestamp":1762434304824,"version":"build-2065373602"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T00:00:00Z","timestamp":1723420800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2019\/34\/E\/HS1\/00044"],"award-info":[{"award-number":["2019\/34\/E\/HS1\/00044"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011019","name":"Nemzeti Kutat\u00e1si Fejleszt\u00e9si \u00e9s Innov\u00e1ci\u00f3s Hivatal","doi-asserted-by":"publisher","award":["K-134275"],"award-info":[{"award-number":["K-134275"]}],"id":[{"id":"10.13039\/501100011019","id-type":"DOI","asserted-by":"publisher"}]},{"name":"HUN-REN Alfr\u00e9d R\u00e9nyi Institute of Mathematics"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>A logic family is a bunch of logics that belong together in some way. First-order logic is one of the examples. Logics organized into a structure occur in abstract model theory, institution theory and in algebraic logic. Logic families play a role in adopting methods for investigating sentential logics to first-order like logics. We thoroughly discuss the notion of logic families as defined in the recent Universal Algebraic Logic book.<\/jats:p>","DOI":"10.1007\/s11225-024-10125-1","type":"journal-article","created":{"date-parts":[[2024,8,12]],"date-time":"2024-08-12T06:02:55Z","timestamp":1723442575000},"page":"1567-1613","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logic Families"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7327-4702","authenticated-orcid":false,"given":"Hajnal","family":"Andr\u00e9ka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zal\u00e1n","family":"Gyenis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3023-0192","authenticated-orcid":false,"given":"Istv\u00e1n","family":"N\u00e9meti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ildik\u00f3","family":"Sain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,8,12]]},"reference":[{"key":"10125_CR1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., Z. Gyenis, I. N\u00e9meti, and I. Sain, Universal Algebraic Logic, Birkhauser, 2022.","DOI":"10.1007\/978-3-031-14887-3"},{"key":"10125_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., A. Kurucz, I. N\u00e9meti, and I. Sain, Applying algebraic logic; A general methodology, Lecture Notes of the Summer School \u201cAlgebraic Logic and the Methodology of Applying it\u201d, Budapest 1994.","DOI":"10.1007\/978-1-4471-3227-1_3"},{"key":"10125_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., I. N\u00e9meti, and I. Sain, Algebraic Logic, in D. M. Gabbay and F. Guenthner, (eds.), Handbook of philosophical logic Vol. II, 2nd edn. Kluwer Academic Publishers, 2001, pp. 133\u2013247.","DOI":"10.1007\/978-94-017-0452-6_3"},{"key":"10125_CR4","doi-asserted-by":"crossref","unstructured":"Barwise, J., Axioms for abstract model theory, Annals of Mathematical Logic 7:221\u2013265, 1974.","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"10125_CR5","doi-asserted-by":"crossref","unstructured":"Bergman, C.H., Universal Algebra: Fundamentals and Selected Topics, Chapman and Hall, 2011.","DOI":"10.1201\/9781439851302"},{"key":"10125_CR6","unstructured":"Beziau, J.-Y., and M.F. Coniglio, Combining conjunction with disjunction, in B. Prasad (ed.), Proceedings of the 2nd Indian International Conference on Artificial Intelligence (IICAI 2005), Pune, India, IICAI, pp. 1648\u20131658."},{"key":"10125_CR7","doi-asserted-by":"crossref","unstructured":"Blok, W., and E. Hoogland, The Beth property in algebraic logic, Studia Logica 83: 49\u201390, 2006.","DOI":"10.1007\/s11225-006-8298-0"},{"key":"10125_CR8","doi-asserted-by":"publisher","DOI":"10.1090\/memo\/0396","volume-title":"Algebraizable logics","author":"W Blok","year":"1989","unstructured":"Blok,W., and D. Pigozzi, Algebraizable logics, vol. 77, no. 396 of Memoirs of the American Mathematical Society, Providence, Rhode Island, 1989."},{"key":"10125_CR9","unstructured":"Chang, C.C., and H.J. Keisler, Model theory, North\u2013Holland, 1990."},{"key":"10125_CR10","first-page":"151","volume":"41","author":"J Czelakowski","year":"2006","unstructured":"Czelakowski, J., and W. Dziobak, On truth-schemes for intensional logics, Reports on Mathematical Logic 41:151\u2013171, 2006.","journal-title":"Reports on Mathematical Logic"},{"key":"10125_CR11","unstructured":"Diaconescu, R., Institution-independent model theory, Birkhauser, Basel, Switzerland, 2008."},{"key":"10125_CR12","doi-asserted-by":"crossref","unstructured":"Diaconescu, R., The axiomatic approach to non-classical model theory,Mathematics 10:3428, 2022.","DOI":"10.3390\/math10193428"},{"key":"10125_CR13","unstructured":"Enderton, H., A mathematical introduction to logic, Academic Press, 1972."},{"key":"10125_CR14","unstructured":"Font, J.M., Abstract Algebraic Logic. An introductory textbook, College Publications, 2016."},{"key":"10125_CR15","doi-asserted-by":"crossref","unstructured":"Font, J.M., and R. Jansana, On the Sentential Logics Associated with algebraizable and Semi-nice General Logic, Bulletin of the IGPL 2(1):55\u201376, 1994.","DOI":"10.1093\/jigpal\/2.1.55"},{"key":"10125_CR16","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J Goguen","year":"1992","unstructured":"Goguen, J., and R. Burstall, Institutions: abstract model theory for specification and programming, Journal of the Association for Computing Machinery 39:95\u2013146, 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"10125_CR17","doi-asserted-by":"crossref","unstructured":"Gyenis, Z., and \u00d6. \u00d6zt\u00fcrk, Amalgamation and Robinson property in Universal Algebraic Logic, Logic Journal of IGPL, Online first, 2022.","DOI":"10.1093\/jigpal\/jzac076"},{"key":"10125_CR18","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Fibring logics, Clarendon Press, 1998.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"10125_CR19","unstructured":"Henkin, L., J.D. Monk, and A. Tarski, Cylindric Algebras Parts I, II, North Holland, Amsterdam, 1971, 1985."},{"key":"10125_CR20","doi-asserted-by":"crossref","unstructured":"Hoogland, E., Algebraic characterizations of various Beth definability properties, Studia Logica 65:91\u2013112, 2000.","DOI":"10.1023\/A:1005295109904"},{"key":"10125_CR21","doi-asserted-by":"crossref","unstructured":"Labai, N., and J. Makowsky, Logics with finite Hankel rank, in Fields of logic and computation II: Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday, Springer, 2015, pp. 237\u2013252.","DOI":"10.1007\/978-3-319-23534-9_14"},{"key":"10125_CR22","unstructured":"\u0141os, J. Free product in general algebra, in J.W. Addison, L. Henkink, and A. Tarski, (eds.), The theory of models, Proceedings of the 1963 International Symposium at Berkeley, North-Holland, Amsterdam, 1965, pp. 229\u2013237."},{"key":"10125_CR23","doi-asserted-by":"crossref","unstructured":"Meseguer, J., General logics, in H.-D. Ebbinghaus, J. Fernandez-Prida, M. Garrido, D. Lascar, and M. Rodriquez Artalejo, (eds.), Logic Colloquium \u201987, vol. 129 of Studies in Logic and the Foundations of Mathematics, Elsevier, 1989, pp. 275\u2013329.","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"10125_CR24","first-page":"231","volume":"263","author":"D Mundici","year":"1981","unstructured":"Mundici, D., Robinson\u2019s consistency theorem in soft model theory, Transactions of the American Mathematical Society 263:231\u2013241, 1981.","journal-title":"Transactions of the American Mathematical Society"},{"key":"10125_CR25","unstructured":"\u00d6zt\u00fcrk, \u00d6.,On Interpolation in Universal Algebraic Logic, PhD thesis, E\u00f6tv\u00f6s Lor\u00e1nd University, 2024."},{"key":"10125_CR26","doi-asserted-by":"crossref","unstructured":"Pigozzi, D., Amalgamation, congruence-extension, and interpolation properties in algebras, Algebra Universalis 1:269\u2013349, 1972.","DOI":"10.1007\/BF02944991"},{"key":"10125_CR27","doi-asserted-by":"crossref","unstructured":"Sannella, D., and A. Tarlecki, Foundations of Algebraic Specifications and Formal Software Development, Springer, 2012.","DOI":"10.1007\/978-3-642-17336-3"},{"key":"10125_CR28","doi-asserted-by":"crossref","unstructured":"Tarski, A., and S. Givant, A Formalization of Set Theory without Variables, vol. 41 of Colloquium Publications of the AMS, Providence, Rhode Island, 1987.","DOI":"10.1090\/coll\/041"},{"key":"10125_CR29","first-page":"421","volume-title":"Don Pigozzi on abstract algebraic logic, universal algebra and computer science","author":"G Voutsadakis","year":"2018","unstructured":"Voutsadakis, G., Categorical abstract algebraic logic: computability operators and correspondence theorems, in J. Czelakowski, (ed.) Don Pigozzi on abstract algebraic logic, universal algebra and computer science, Springer, Cham, 2018, pp. 421\u2013454."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10125-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10125-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10125-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T13:00:54Z","timestamp":1762434054000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10125-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,12]]},"references-count":29,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["10125"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10125-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,8,12]]},"assertion":[{"value":"1 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 August 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}