{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:04:17Z","timestamp":1766084657822},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1007\/s11787-022-00295-8","type":"journal-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T18:02:42Z","timestamp":1643738562000},"page":"253-283","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["A Universal Algebraic Set Theory Built on Mereology with Applications"],"prefix":"10.1007","volume":"16","author":[{"given":"Ioachim","family":"Drugus","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,2,1]]},"reference":[{"key":"295_CR1","doi-asserted-by":"crossref","unstructured":"Drugus, I.: A wholebrain approach to the web. In: IEEE proceeding of web intelligence and intelligent agent technology conference (2007), Silicon Valley, pp. 68\u201371","DOI":"10.1109\/WI-IATW.2007.110"},{"key":"295_CR2","doi-asserted-by":"crossref","unstructured":"Drugus, I.: Universics: a common formalization framework for brain informatics and semantic web. Web Intell. Intell Agents 55-78 (2010)","DOI":"10.5772\/8385"},{"key":"295_CR3","unstructured":"Drugus, I.: PML: a punctuation symbolism for semantic markup. In: 11th international conference Linguistic resources and tools for processing the Romanian language, ConsILR-2015, 26-27 Nov. 2015, Iasi, Romania., pp. 79-92 (2015)"},{"key":"295_CR4","unstructured":"Drugus, I.: Towards an algebraic set theory for the formalization of data structures. In: proceedings of conference on mathematical foundations of informatics. July 2-6, 2018, Chisinau, Moldova, pp. 73-89"},{"key":"295_CR5","unstructured":"Drugus, I.: Generalized Boolean algebras as single composition systems for measure theory. In: proceedings of the 4th conference of mathematical society of Moldova (CMSM-2017), June 28 \u2013 July 2, 2017, Chisinau, Moldova, pp. 75\u201378 (2017)"},{"key":"295_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-642-25908-1_16","volume-title":"Advanced information technology in education, AISC 126","author":"I Drugus","year":"2012","unstructured":"Drugus, I.: Metalingua: a language to mediate communication with semantic web in natural languages. In: Thaung, K.S. (ed.) Advanced information technology in education, AISC 126, pp. 109\u2013115. Springer, Berlin (2012)"},{"issue":"3","key":"295_CR7","first-page":"233","volume":"26","author":"I Drugus","year":"2018","unstructured":"Drugus, I., Skobelev, V.: Imbrication algebras - algebraic structures of nesting order. Comput. Sci. J. Moldova 26(3), 233\u2013249 (2018)","journal-title":"Comput. Sci. J. Moldova"},{"key":"295_CR8","unstructured":"Drugus, I., Skobelev, V.: Some Developments of aggregate theory.In: proceedings of conference on mathematical foundations of informatics. July 3-6, Iasi, Romania, pp. 73-89, 2019"},{"key":"295_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511752483","volume-title":"Algebraic set theory","author":"A Joyal","year":"1995","unstructured":"Joyal, A., Moerdijk, I.: Algebraic set theory. Cambridge University Press, Cambridge (1995)"},{"issue":"3","key":"295_CR10","doi-asserted-by":"publisher","first-page":"281","DOI":"10.2178\/bsl\/1231081369","volume":"14","author":"S Awodey","year":"2008","unstructured":"Awodey, S.: A brief introduction to algebraic set theory. Bull. Symbol. Logic 14(3), 281\u2013298 (2008)","journal-title":"Bull. Symbol. Logic"},{"key":"295_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0927-0","volume-title":"Sheaves in Geometry and Logic, a First Introduction to Topos Theory","author":"S MacLane","year":"1994","unstructured":"MacLane, S., Moerdijk, I.: Sheaves in Geometry and Logic, a First Introduction to Topos Theory. Springer, Berlin (1994)"},{"key":"295_CR12","volume-title":"Algebraic Theories, a Categorical Introduction to General Algebra","author":"J Ad\u00e1mek","year":"2008","unstructured":"Ad\u00e1mek, J., Rosick\u00fd, J., Vitale, E.M.: Algebraic Theories, a Categorical Introduction to General Algebra. Cambridge University Press, Cambridge (2008)"},{"key":"295_CR13","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1090\/S0002-9947-1904-1500678-X","volume":"5","author":"O Veblen","year":"1904","unstructured":"Veblen, O.: A system of axioms for geometry. Trans. Amer. Math. Soc. 5, 343\u2013384 (1904)","journal-title":"Trans. Amer. Math. Soc."},{"key":"295_CR14","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A course in universal algebra (Graduate Texts in Mathematics, vol. 78), 1st ed., New-York, Heidelberg, Berlin: Springer-Verlag, 276 p. ISBN: 0-387-90578-2 (1981)","DOI":"10.1007\/978-1-4613-8130-3_1"},{"issue":"19","key":"295_CR15","first-page":"177","volume":"4","author":"JC Abbott","year":"1967","unstructured":"Abbott, J.C.: Semi-Boolean algebras. Matematicki Vesnik 4(19), 177\u2013198 (1967)","journal-title":"Matematicki Vesnik"},{"issue":"4","key":"295_CR16","doi-asserted-by":"publisher","first-page":"703","DOI":"10.2307\/2371008","volume":"57","author":"MH Stone","year":"1935","unstructured":"Stone, M.H.: Postulates for Boolean algebras and generalized Boolean algebras. Am. J. Math. 57(4), 703\u2013732 (1935)","journal-title":"Am. J. Math."},{"key":"295_CR17","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/S0002-9947-1948-0028922-8","volume":"64","author":"A Horn","year":"1948","unstructured":"Horn, A., Tarski, A.: Measures in Boolean algebras. Trans. Amer. Math. Soc. 64, 467\u2013497 (1948)","journal-title":"Trans. Amer. Math. Soc."},{"key":"295_CR18","doi-asserted-by":"publisher","DOI":"10.1090\/coll\/041","volume-title":"A Formalization of Set Theory without Variables","author":"A Tarski","year":"1987","unstructured":"Tarski, A., Givant, S.: A Formalization of Set Theory without Variables. American Mathematical Society, RI (1987)"},{"issue":"1","key":"295_CR19","doi-asserted-by":"crossref","first-page":"65","DOI":"10.2307\/2268862","volume":"2","author":"P Bernays","year":"1937","unstructured":"Bernays, P.: A system of axiomatic set theory-part I. J. Symbol. Logic Assoc. Symbol. Logic 2(1), 65\u201377 (1937)","journal-title":"J. Symbol. Logic Assoc. Symbol. Logic"},{"key":"295_CR20","doi-asserted-by":"crossref","unstructured":"Kirby, L.: Finitary set theory. Notre Dame J. Formal Logic 50(3), (2009)","DOI":"10.1215\/00294527-2009-009"},{"key":"295_CR21","volume-title":"Logic","author":"G Boolos","year":"1998","unstructured":"Boolos, G.: Logic. Harvard University Press, Cambridge (1998)"},{"key":"295_CR22","unstructured":"Szmielew, W., A. Tarski, A.: Mutual interpretability of some essentially undecidable theories, In: proceedings of international congress of mathematicians (Cambridge, Massachussetts.,1950), vol. 1., American Mathematical Society, Providence, R. I., p.734 (1952)"},{"key":"295_CR23","doi-asserted-by":"publisher","DOI":"10.1515\/9780691187068","volume-title":"Fixing Frege","author":"J Burgess","year":"2005","unstructured":"Burgess, J.: Fixing Frege. Princeton University Press, Princeton (2005)"},{"key":"295_CR24","first-page":"14","volume-title":"Logic, methodology and philosophy of science","author":"RL Vaught","year":"1960","unstructured":"Vaught, R.L.: On a theorem of Cobham concerning undecidable theories. In: Nagel, E., Suppes, P., Tarski, A. (eds.) Logic, methodology and philosophy of science, pp. 14\u201325. Elsevier, London (1960)"},{"key":"295_CR25","volume-title":"Parts of Classes","author":"D Lewis","year":"1991","unstructured":"Lewis, D.: Parts of Classes. Blackwell, Oxford (1991)"},{"key":"295_CR26","doi-asserted-by":"publisher","first-page":"95","DOI":"10.7146\/math.scand.a-10627","volume":"9","author":"B J\u00f3nsson","year":"1961","unstructured":"J\u00f3nsson, B., Tarski, A.: On two properties of free algebras. Mathematica Scandinavica 9, 95\u2013101 (1961)","journal-title":"Mathematica Scandinavica"},{"key":"295_CR27","volume-title":"Elements of Mathematics: theory of sets","author":"N Bourbaki","year":"1968","unstructured":"Bourbaki, N.: Elements of Mathematics: theory of sets. Hermann, Paris (1968)"},{"key":"295_CR28","unstructured":"Nikitchenko, M.S., Shkilniak, S.S.: Algebras of quasiary relations, theoretical and applied aspects of program systems development. In: TAAPSD\u20192014: 11th international conference, pp. 174\u2013181. Ukraine, Kiev (2014)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00295-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11787-022-00295-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-022-00295-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,16]],"date-time":"2023-11-16T18:22:11Z","timestamp":1700158931000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11787-022-00295-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,1]]},"references-count":28,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2022,6]]}},"alternative-id":["295"],"URL":"https:\/\/doi.org\/10.1007\/s11787-022-00295-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,1]]},"assertion":[{"value":"1 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}