{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T13:10:03Z","timestamp":1746450603324,"version":"3.40.4"},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T00:00:00Z","timestamp":1714003200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T00:00:00Z","timestamp":1714003200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001807","name":"FAPESP","doi-asserted-by":"crossref","award":["2020\/02402-2"],"award-info":[{"award-number":["2020\/02402-2"]}],"id":[{"id":"10.13039\/501100001807","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100030894","name":"School of Graduate Studies, Rutgers, The State University of New Jersey","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100030894","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1007\/s11225-024-10104-6","type":"journal-article","created":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T07:01:55Z","timestamp":1714028515000},"page":"489-501","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On a First-Order Bi-Sorted Semantically Closed Language"],"prefix":"10.1007","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1966-8791","authenticated-orcid":false,"given":"Fernanda Birolli","family":"Abrah\u00e3o","sequence":"first","affiliation":[]},{"given":"Edelcio Gon\u00e7alves","family":"de Souza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,25]]},"reference":[{"key":"10104_CR1","unstructured":"Aristotle, Metaphysics, translation by C.D.C. Reeve, Hackett Publishing Company, 2016 (Original written sometime between 370 and 322 BC)."},{"key":"10104_CR2","doi-asserted-by":"crossref","unstructured":"Herzberger, H. G., The truth-conditional consistency of natural languages, The Journal of Philosophy 64(2):29\u201335, 1967.","DOI":"10.2307\/2023768"},{"key":"10104_CR3","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00484779","volume":"32","author":"RL Martin","year":"1976","unstructured":"Martin, R. L., Are natural languages universal? Synthese 32:271\u2013291, 1976.","journal-title":"Synthese"},{"key":"10104_CR4","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199263301.001.0001","volume-title":"In Contradiction","author":"G Priest","year":"2006","unstructured":"Priest, G., In Contradiction, Oxford University Press, 2006."},{"issue":"1\u20132","key":"10104_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00935745","volume":"43","author":"G Priest","year":"1984","unstructured":"Priest, G., Semantic closure, Studia Logica 43(1\u20132):117\u2013129, 1984.","journal-title":"Studia Logica"},{"key":"10104_CR6","doi-asserted-by":"crossref","unstructured":"Priest, G., Inconsistent models of arithmetic part I: finite models, Journal of Philosophical Logic 26(2):223\u2013235, 1997.","DOI":"10.1023\/A:1004251506208"},{"issue":"4","key":"10104_CR7","doi-asserted-by":"publisher","first-page":"1519","DOI":"10.2307\/2695062","volume":"65","author":"G Priest","year":"2000","unstructured":"Priest, G., Inconsistent models of arithmetic part II: the general case, The Journal of Symbolic Logic 65(4):1519\u20131529, 2000.","journal-title":"The Journal of Symbolic Logic"},{"key":"10104_CR8","volume-title":"Mathematical Logic","author":"JR Shoenfield","year":"1967","unstructured":"Shoenfield, J. R., Mathematical Logic, Addison-Wesley Publishing Company, 1967."},{"issue":"152\u2013278","key":"10104_CR9","first-page":"152","volume":"2","author":"A Tarski","year":"1936","unstructured":"Tarski, A., The concept of truth in formalized languages,  Logic, Semantics, Metamathematics 2(152\u2013278):152, 1936.","journal-title":"Logic, Semantics, Metamathematics"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10104-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-024-10104-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-024-10104-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T12:41:37Z","timestamp":1746448897000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-024-10104-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,25]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,4]]}},"alternative-id":["10104"],"URL":"https:\/\/doi.org\/10.1007\/s11225-024-10104-6","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2024,4,25]]},"assertion":[{"value":"25 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}