{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:40Z","timestamp":1761611260546},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,24]],"date-time":"2010-03-24T00:00:00Z","timestamp":1269388800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s11225-010-9241-y","type":"journal-article","created":{"date-parts":[[2010,3,23]],"date-time":"2010-03-23T06:14:48Z","timestamp":1269324888000},"page":"381-401","source":"Crossref","is-referenced-by-count":28,"title":["Proof-Theoretic Semantics for Subsentential Phrases"],"prefix":"10.1007","volume":"94","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roy","family":"Dyckhoff","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilad","family":"Ben-Avi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,3,24]]},"reference":[{"key":"9241_CR1","unstructured":"Ben-Avi, Gilad, and Nissim Francez, \u2018A proof-theoretic reconstruction of generalized quantifiers\u2019. In preparation, 2010."},{"key":"9241_CR2","unstructured":"Francez, Nissim, and Gilad Ben-Avi, \u2018Proof-theoretic semantic values for logical operators\u2019, Synthese, 2009. Under refereeing."},{"key":"9241_CR3","unstructured":"Francez, Nissim, and Roy Dyckhoff, \u2018Proof-theoretic semantics for a natural language fragment\u2019, in Proceedings of the 10th and 11th meetings of the Association for Mathematics of Language (MOL), July 2007, to appear. Full version under refereeing for Linguistics and Philosophy."},{"key":"9241_CR4","unstructured":"Frege, Gottlob, Grundlagen der Aritmetik, 1884, translated as The Foundations of Arithmetic, J. L. Austin (trans.), (2nd edition) Basil Blackwell, Oxford, 1953."},{"key":"9241_CR5","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1026502210492","volume":"10","author":"Wilfrid Hodges","year":"2001","unstructured":"Hodges Wilfrid (2001) \u2018Formal features of compositionality\u2019. Journal of Logic, Language, and Information 10: 7\u201328","journal-title":"Journal of Logic, Language, and Information"},{"key":"9241_CR6","doi-asserted-by":"crossref","unstructured":"Moortgat, Michael, \u2018Categorial type logics\u2019, in Johan van Benthem and Alice ter Meulen (eds.), Handbook of Logic and Language, North Holland, 1997, pp. 93\u2013178.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"9241_CR7","doi-asserted-by":"crossref","unstructured":"Moss, Lawrence, \u2018Syllogistic Logics with Verbs\u2019, Journal of Logic and Computation, 2008. doi: 10.1093\/logcom\/exn086 .","DOI":"10.1093\/logcom\/exn086"},{"key":"9241_CR8","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1093\/mind\/fzp093","volume":"118","author":"Peter Pagin","year":"2009","unstructured":"Pagin Peter (2009) \u2018Compositionality, understanding, and proofs\u2019. Mind 118: 713\u2013737","journal-title":"Mind"},{"issue":"1","key":"9241_CR9","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1163\/187731009X455875","volume":"1","author":"Jaroslav Peregrin","year":"2009","unstructured":"Peregrin Jaroslav (2009) \u2018Inferentialism and the compositionality of meaning\u2019. International Review of Pragmatics 1(1): 154\u2013181","journal-title":"International Review of Pragmatics"},{"key":"9241_CR10","doi-asserted-by":"crossref","unstructured":"Stainton, Richard J., \u2018Context principle\u2019, in Keith Brown (editor-in chief), Encyclopedia of Language and Linguistics, vol. 3, Elsevier, 2006, pp. 108\u2013115. Second edition.","DOI":"10.1016\/B0-08-044854-2\/01153-6"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9241-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-010-9241-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-010-9241-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:24:46Z","timestamp":1559384686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-010-9241-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,24]]},"references-count":10,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9241"],"URL":"https:\/\/doi.org\/10.1007\/s11225-010-9241-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,24]]}}}