{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T05:20:45Z","timestamp":1775452845775,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T00:00:00Z","timestamp":1764028800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007051","name":"Uppsala University","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007051","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":[[2026,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We consider a logic with truth values in the unit interval and which uses aggregation functions instead of quantifiers, and we describe a general approach to asymptotic elimination of aggregation functions and, indirectly, of asymptotic elimination of Mostowski style generalized quantifiers, since such can be expressed by using aggregation functions. The notion of \u201clocal continuity\u201d of an aggregation function, which we make precise in two (related) ways, plays a central role in this approach.<\/jats:p>","DOI":"10.1007\/s00153-025-01000-4","type":"journal-article","created":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T09:59:18Z","timestamp":1764064758000},"page":"363-390","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A general approach to asymptotic elimination of aggregation functions and generalized quantifiers"],"prefix":"10.1007","volume":"65","author":[{"given":"Vera","family":"Koponen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felix","family":"Weitk\u00e4mper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,11,25]]},"reference":[{"key":"1000_CR1","doi-asserted-by":"crossref","unstructured":"Bergmann, M.: An Introduction to Many-Valued and Fuzzy Logic: Semantics, Algebras, and Derivation Systems. Cambridge University Press (2008)","DOI":"10.1017\/CBO9780511801129"},{"key":"1000_CR2","doi-asserted-by":"crossref","unstructured":"Brin, S., Page, L.: The anatomy of a large-scale hypertextual Web search engine. Computer Networks and ISDN Systems 30, 107\u2013117 (1998)","DOI":"10.1016\/S0169-7552(98)00110-X"},{"key":"1000_CR3","doi-asserted-by":"crossref","unstructured":"Van\u00a0den Broeck, G., Kersting, K., Natarajan, S., Poole, D., (Editors): An Introduction to Lifted Probabilistic Inference, The MIT Press (2021)","DOI":"10.7551\/mitpress\/10548.001.0001"},{"key":"1000_CR4","doi-asserted-by":"crossref","unstructured":"Dawar, A., Gr\u00e4del, E.: Generalized quantifiers and 0-1 laws, Proc. Tenth Annual IEEE Symp Logic in Computer Science (1995) 54\u201364","DOI":"10.1109\/LICS.1995.523244"},{"key":"1000_CR5","doi-asserted-by":"crossref","unstructured":"De\u00a0Raedt, L., Kersting, K., Natarajan, S., Poole, D.: Statistical Relational Artificial Intelligence: Logic, Probability, and Computation, Synthesis Lectures on Artificial Intelligence and Machine Learning #32, Morgan & Claypool Publishers (2016)","DOI":"10.1007\/978-3-031-01574-8"},{"key":"1000_CR6","doi-asserted-by":"crossref","unstructured":"Fayolle, G., Grumbach, S. , Tollu, C.: Asymptotic probabilities of languages with generalized quantifiers, Proc Eight Annual IEEE Symp Logic in Computer Science pp. 199\u2013207, (1993)","DOI":"10.1109\/LICS.1993.287587"},{"key":"1000_CR7","first-page":"17","volume":"2","author":"YV Glebskii","year":"1969","unstructured":"Glebskii, Y.V., Kogan, D.I., Liogonkii, M.I., Talanov, V.A.: Volume and fraction of satisfiability of formulas of the lower predicate calculus. Kibernetyka 2, 17\u201327 (1969)","journal-title":"Kibernetyka"},{"key":"1000_CR8","doi-asserted-by":"crossref","unstructured":"Gr\u00e4del, E., Helal, H., Naaf, M., Wilke, R.: Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics, Proceedings of the 37th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS 22) (2022) 1\u201312","DOI":"10.1145\/3531130.3533358"},{"key":"1000_CR9","first-page":"31","volume":"2","author":"P Hajek","year":"1966","unstructured":"Hajek, P., Havel, I., Chytil, M.K.: GUHA - the method of systematical hypotheses searching. Kybernetika 2, 31\u201347 (1966)","journal-title":"Kybernetika"},{"key":"1000_CR10","unstructured":"Jaeger, M.: Convergence results for relational Bayesian networks, Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS 98) (1998)"},{"key":"1000_CR11","doi-asserted-by":"crossref","unstructured":"Jeh, G., Widom, J.: SimRank: A Measure of Structural-Context Similarity, In: Hand, D., Keim, D.A., NG R. (Ed.), KDD\u201902: Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining, ACM Press pp. 538\u2013543, (2002)","DOI":"10.1145\/775047.775126"},{"key":"1000_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/rsa.1016","volume":"19","author":"R Kaila","year":"2001","unstructured":"Kaila, R.: On probabilistic elimination of generalized quantifiers. Random Structures and Algorithms 19, 1\u201336 (2001)","journal-title":"Random Structures and Algorithms"},{"key":"1000_CR13","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.2178\/jsl\/1254748683","volume":"74","author":"HJ Keisler","year":"2009","unstructured":"Keisler, H.J., Lotfallah, W.B.: Almost everywhere elimination of probability quantifiers. The Journal of Symbolic Logic 74, 1121\u20131142 (2009)","journal-title":"The Journal of Symbolic Logic"},{"key":"1000_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.tcs.2020.08.006","volume":"848","author":"V Koponen","year":"2020","unstructured":"Koponen, V.: Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination. Theoret. Comput. Sci. 848, 1\u201327 (2020)","journal-title":"Theoret. Comput. Sci."},{"key":"1000_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2025.103665","volume":"177","author":"V Koponen","year":"2026","unstructured":"Koponen, V.: Random expansions of finite structures with bounded degree. Ann. Pure Appl. Logic 177, 103665 (2026)","journal-title":"Ann. Pure Appl. Logic"},{"key":"1000_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2025.115201","volume":"1040","author":"V Koponen","year":"2025","unstructured":"Koponen, V., Tousinejad, Y.: Random expansions of trees with bounded height. Theoret. Comput. Sci. 1040, 115201 (2025)","journal-title":"Theoret. Comput. Sci."},{"key":"1000_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2023.105061","volume":"293","author":"V Koponen","year":"2023","unstructured":"Koponen, V., Weitk\u00e4mper, F.: Asymptotic elimination of partially continuous aggregation functions in directed graphical models. Inf. Comput. 293, 105061 (2023)","journal-title":"Inf. Comput."},{"key":"1000_CR18","first-page":"13:1","volume":"20","author":"V Koponen","year":"2024","unstructured":"Koponen, V., Weitk\u00e4mper, F.: On the relative asymptotic expressivity of inference frameworks, Logical Metods in Computer. Science 20, 13:1-13:52 (2024)","journal-title":"Science"},{"key":"1000_CR19","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1111\/j.1755-2567.1966.tb00600.x","volume":"32","author":"P Lindstr\u00f6m","year":"1966","unstructured":"Lindstr\u00f6m, P.: First order predicate logic with generalized quantifiers. Theoria 32, 186\u2013195 (1966)","journal-title":"Theoria"},{"key":"1000_CR20","first-page":"30","volume":"23","author":"J Lukasiewicz","year":"1930","unstructured":"Lukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, Class III 23, 30\u201350 (1930)","journal-title":"Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, Class III"},{"key":"1000_CR21","doi-asserted-by":"publisher","first-page":"12","DOI":"10.4064\/fm-44-1-12-36","volume":"44","author":"A Mostowski","year":"1957","unstructured":"Mostowski, A.: On a generalization of quantifiers. Fundamenta Matemathicae 44, 12\u201336 (1957)","journal-title":"Fundamenta Matemathicae"},{"key":"1000_CR22","first-page":"311","volume-title":"Studies in Logic and the Foundations of Mathematics","author":"A Mostowski","year":"1979","unstructured":"Mostowski, A.: On a generalization of quantifiers. In: Mostowski, A. (ed.) Studies in Logic and the Foundations of Mathematics, vol. 93, pp. 311\u2013335. Part B (1979)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01000-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00153-025-01000-4","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-025-01000-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T03:59:19Z","timestamp":1775447959000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00153-025-01000-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,25]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2026,3]]}},"alternative-id":["1000"],"URL":"https:\/\/doi.org\/10.1007\/s00153-025-01000-4","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,25]]},"assertion":[{"value":"16 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 November 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}