{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:06:50Z","timestamp":1766084810387,"version":"3.48.0"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T00:00:00Z","timestamp":1763078400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11787-025-00391-5","type":"journal-article","created":{"date-parts":[[2025,11,14]],"date-time":"2025-11-14T17:55:19Z","timestamp":1763142919000},"page":"643-653","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["An Idea Calculus For Natural and Artificial Intelligence"],"prefix":"10.1007","volume":"19","author":[{"given":"Ioachim","family":"Drugus","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,14]]},"reference":[{"key":"391_CR1","doi-asserted-by":"crossref","unstructured":"Drugus, I.: Idea Theory: Towards Logical Foundations of Intelligence Science. Proceedings of the Future Technologies Conference (FTC), (2023), 344\u2013356","DOI":"10.1007\/978-3-031-47451-4_25"},{"key":"391_CR2","doi-asserted-by":"crossref","unstructured":"Grenander, U.: A Calculus of Ideas: A Mathematical Study of Human Thought, World Scientific (2012)","DOI":"10.1142\/8345"},{"key":"391_CR3","doi-asserted-by":"crossref","unstructured":"Locke, J.: An Essay Concerning Humane Understanding 1st edn. Thomas Basset. London (1690)","DOI":"10.1093\/oseo\/instance.00018020"},{"issue":"3","key":"391_CR4","first-page":"235","volume":"58","author":"FB Fitch","year":"1949","unstructured":"Fitch, F.B.: Intensional Entities. The Philosophical Review 58(3), 235\u2013240 (1949)","journal-title":"The Philosophical Review"},{"issue":"3","key":"391_CR5","first-page":"323","volume":"7","author":"A Hazen","year":"1978","unstructured":"Hazen, A.: Intensional Set Theory. The Journal of Philosophical Logic 7(3), 323\u2013339 (1978)","journal-title":"The Journal of Philosophical Logic"},{"key":"391_CR6","unstructured":"Rantala, V.: Quantification, modality, and intensional logic. Handbook of philosophical logic (Vol. II). Reidel. (1982)"},{"key":"391_CR7","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s11787-022-00295-8","volume":"16","author":"I Drugus","year":"2022","unstructured":"Drugus, I.: A Universal Algebraic Set Theory Built on Mereology with Applications. Log. Univers. 16, 253\u2013283 (2022)","journal-title":"Log. Univers."},{"key":"391_CR8","doi-asserted-by":"publisher","first-page":"95","DOI":"10.7146\/math.scand.a-10627","volume":"9","author":"B Jonsson","year":"1961","unstructured":"Jonsson, B., Tarski, A.: On two properties of free algebras. Math. Scand. 9, 95\u2013101 (1961)","journal-title":"Math. Scand."}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00391-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-025-00391-5","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-025-00391-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:56:56Z","timestamp":1766066216000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-025-00391-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["391"],"URL":"https:\/\/doi.org\/10.1007\/s11787-025-00391-5","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"type":"print","value":"1661-8297"},{"type":"electronic","value":"1661-8300"}],"subject":[],"published":{"date-parts":[[2025,11,14]]},"assertion":[{"value":"31 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}