{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T16:56:41Z","timestamp":1759683401099},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,8,8]],"date-time":"2015-08-08T00:00:00Z","timestamp":1438992000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1007\/s11787-015-0126-8","type":"journal-article","created":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T15:13:03Z","timestamp":1438960383000},"page":"281-329","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["First-Order Logic and First-Order Functions"],"prefix":"10.1007","volume":"9","author":[{"given":"Rodrigo A.","family":"Freire","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,8]]},"reference":[{"key":"126_CR1","unstructured":"Batchelor, R.: Metaphysical Modal Logic, Volume I: Logical Functions. Sao Paulo, Unpublished manuscript (2014)"},{"key":"126_CR2","unstructured":"Batchelor, R.: Metaphysical Modal Logic, Volume II: Logical Systems. Sao Paulo, Unpublished manuscript (2014)"},{"key":"126_CR3","unstructured":"Fra\u00efss\u00e9, R.: Cours de Logique Math\u00e9matique, Tome 1. Gauthier-Villars, Paris (1971)"},{"key":"126_CR4","unstructured":"Fra\u00efss\u00e9, R.: Cours de Logique Math\u00e9matique, Tome 2. Gauthier-Villars, Paris (1972)"},{"issue":"1","key":"126_CR5","first-page":"249","volume":"1","author":"R. Freire","year":"2015","unstructured":"Freire R.: On existence in set theory, part III: Applications to new axioms. South Am. J. Log. 1(1), 249\u2013265 (2015)","journal-title":"South Am. J. Log."},{"key":"126_CR6","first-page":"71","volume":"6","author":"J. Hintikka","year":"1953","unstructured":"Hintikka J.: Distributive normal forms in the calculus of predicates. Acta Philos. Fennica. 6, 71 (1953)","journal-title":"Acta Philos. Fennica."},{"key":"126_CR7","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1017\/S0004972700021614","volume":"29","author":"L. Humberstone","year":"1983","unstructured":"Humberstone L.: Monadic representability of certain binary relations. Bull. Aust. Math. Soc. 29, 365\u2013375 (1983)","journal-title":"Bull. Aust. Math. Soc."},{"key":"126_CR8","unstructured":"Poizat, B.: Cours de Th\u00e9orie des Mod\u00e8les. Nur Al-Mantiq Wal-Ma\u2019rifah. Villeurbanne (1985)"},{"key":"126_CR9","doi-asserted-by":"crossref","unstructured":"Post, E.: The Two-Valued Iterative Systems of Mathematical Logic. Princeton, New Jersey (1941)","DOI":"10.1515\/9781400882366"},{"key":"126_CR10","unstructured":"Smullyan, R.: First-Order Logic. New York (1995)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-015-0126-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-015-0126-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-015-0126-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T04:37:04Z","timestamp":1567053424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-015-0126-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,8]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,9]]}},"alternative-id":["126"],"URL":"https:\/\/doi.org\/10.1007\/s11787-015-0126-8","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,8]]}}}