{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,5]],"date-time":"2024-06-05T14:19:27Z","timestamp":1717597167588},"reference-count":18,"publisher":"Oxford University Press (OUP)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2011,4,1]]},"DOI":"10.1093\/logcom\/exq017","type":"journal-article","created":{"date-parts":[[2010,6,20]],"date-time":"2010-06-20T23:54:46Z","timestamp":1277078086000},"page":"351-374","source":"Crossref","is-referenced-by-count":9,"title":["Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations"],"prefix":"10.1093","volume":"21","author":[{"given":"P. E.","family":"Oppenheimer","sequence":"first","affiliation":[]},{"given":"E. N.","family":"Zalta","sequence":"additional","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2010,6,18]]},"reference":[{"key":"1_37477538","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF00990086","volume":"69","year":"1993","ISSN":"http:\/\/id.crossref.org\/issn\/0031-8116","issn-type":"print"},{"key":"2_37477539","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/B:LOGI.0000019236.64896.fd","volume":"33","year":"2004","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"5_35580379","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF00252180","volume":"16","year":"1996","journal-title":"JOURNAL OF AUTOMATED REASONING"},{"key":"7_37477540","doi-asserted-by":"crossref","first-page":"346","DOI":"10.2307\/1968337","volume":"33","year":"1932","journal-title":"THE ANNALS OF MATHEMATICS"},{"key":"8_37477541","doi-asserted-by":"crossref","first-page":"839","DOI":"10.2307\/1968702","volume":"34","year":"1933","journal-title":"THE ANNALS OF MATHEMATICS"},{"key":"9_37477542","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","volume":"5","year":"1940","journal-title":"THE JOURNAL OF SYMBOLIC LOGIC"},{"key":"10_37477543","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/BF00990085","volume":"69","year":"1993","ISSN":"http:\/\/id.crossref.org\/issn\/0031-8116","issn-type":"print"},{"key":"11_37477544","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/s10992-006-9038-7","volume":"36","year":"2007","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"13_37477545","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2307\/2372027","volume":"57","year":"1935","journal-title":"AMERICAN JOURNAL OF MATHEMATICS"},{"key":"15_37477546","doi-asserted-by":"crossref","first-page":"60","DOI":"10.2178\/bsl\/1140640944","volume":"12","year":"2006","journal-title":"IS NEOLOGICISM THE BULLETIN OF SYMBOLIC LOGIC"},{"key":"18_37477547","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00635639","volume":"12","year":"1989","ISSN":"http:\/\/id.crossref.org\/issn\/0165-0157","issn-type":"print"},{"key":"19_39538037","first-page":"165","volume":"34","year":"2000","journal-title":"NOS"},{"key":"20_26173288","doi-asserted-by":"crossref","first-page":"222","DOI":"10.2307\/2369948","volume":"30","year":"1908","journal-title":"AMERICAN JOURNAL OF MATHEMATICS"},{"key":"21_33715859","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","year":"1924","journal-title":"MATHEMATISCHE ANNALEN"},{"key":"26_37477549","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/BF01052533","volume":"22","year":"1993","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"27_28417941","first-page":"619","volume":"28","year":"1999","journal-title":"JOURNAL OF PHILOSOPHICAL LOGIC"},{"key":"28_37477550","doi-asserted-by":"crossref","first-page":"137","DOI":"10.30965\/26664275-00301008","volume":"3","year":"2000","journal-title":"PHILOSOPHIEGESCHICHTE UND LOGISCHE ANALYSE LOGICAL ANALYSIS AND HISTORY OF PHILOSOPHY"},{"key":"29_26035915","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1023\/A:1005614102033","volume":"53","year":"2000","journal-title":"ERKENNTNIS"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/21\/2\/351\/2774812\/exq017.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,5]],"date-time":"2020-06-05T23:08:01Z","timestamp":1591398481000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exq017"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,18]]},"references-count":18,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2011,3,25]]},"published-print":{"date-parts":[[2011,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exq017","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,6,18]]}}}