{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T22:23:46Z","timestamp":1767911026343,"version":"3.49.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,3,25]],"date-time":"2014-03-25T00:00:00Z","timestamp":1395705600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s10992-014-9312-z","type":"journal-article","created":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T07:11:21Z","timestamp":1395645081000},"page":"1153-1172","source":"Crossref","is-referenced-by-count":5,"title":["A Logic Inspired by Natural Language: Quantifiers As Subnectors"],"prefix":"10.1007","volume":"43","author":[{"given":"Nissim","family":"Francez","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,25]]},"reference":[{"key":"9312_CR1","unstructured":"Ben-Yami, H. (2004). Logic & natural language: on plural reference and its semantics and logical significance. Ashgate."},{"key":"9312_CR2","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1111\/j.1467-9329.2006.00316.x","volume":"2","author":"H Ben-Yami","year":"2006","unstructured":"Ben-Yami, H. (2006). A critique of Frege on common nouns. Ratio, 2, 148\u2013155.","journal-title":"Ratio"},{"key":"9312_CR3","doi-asserted-by":"crossref","unstructured":"Ben-Yami, H. (2014). The quantified argument calculus. Review of Symbolic Logic, to appear.","DOI":"10.1017\/S1755020313000373"},{"key":"9312_CR4","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating reasons","author":"RB Brandom","year":"2000","unstructured":"Brandom, R.B. (2000). Articulating reasons. Cambridge: Harvard University Press."},{"key":"9312_CR5","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1012758003706","volume":"12","author":"NB. Cocchiarella","year":"2001","unstructured":"Cocchiarella, N.B. (2001). Logic and ontology. Axiomathes, 12, 117\u2013150.","journal-title":"Axiomathes"},{"issue":"3","key":"9312_CR6","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1145\/382780.382785","volume":"48","author":"R Davies","year":"2001","unstructured":"Davies, R., & Pfenning, F. (2001). A modal analysis of staged computation. Journal of the ACM, 48(3), 555\u2013604.","journal-title":"Journal of the ACM"},{"key":"9312_CR7","volume-title":"Hard copy 1991","author":"Dummett M","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics, 1993 (paperback). Hard copy 1991. Cambridge: Harvard University Press."},{"key":"9312_CR8","doi-asserted-by":"crossref","unstructured":"Francez, N. (2014). Views of proof-theoretic semantics: reified proof-theoretic meanings. Journal of Computational Logic, (to appear). Special issue in honour of Roy Dyckhoff.","DOI":"10.1093\/logcom\/exu035"},{"issue":"6","key":"9312_CR9","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/s10988-011-9088-3","volume":"33","author":"N Francez","year":"2010","unstructured":"Francez, N., & Dyckhoff, R. (2010). Proof-theoretic semantics for a natural language fragment. Linguistics and Philosophy, 33(6), 447\u2013477.","journal-title":"Linguistics and Philosophy"},{"issue":"3","key":"9312_CR10","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1007\/s10992-011-9208-0","volume":"41","author":"N Francez","year":"2012","unstructured":"Francez, N., & Dyckhoff, R. (2012). A note on harmony. Journal of Philosophical Logic, 41(3), 613\u2013628.","journal-title":"Journal of Philosophical Logic"},{"key":"9312_CR11","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/s11225-010-9241-y","volume":"94","author":"N Francez","year":"2010","unstructured":"Francez, N., Dyckhoff, R., Ben-Avi, G. (2010). Proof-theoretic semantics for subsentential phrases. Studia Logica, 94, 381\u2013401.","journal-title":"Studia Logica"},{"key":"9312_CR12","unstructured":"Francez, N., & Wieckowski, B. (2014). A proof-theoretic semantics for contextual definiteness. In E. Moriconi, & L. Tesconi (Eds.), Second pisa colloquium in logic, language and epistemology. ETS, Pisa. To appear."},{"key":"9312_CR13","unstructured":"Frege, G. (1879). Begriffssrift, Eine der Arithmetischen Nachgebildete Formelsprache Des Reinen Denkens. Halle: Louis Nebert."},{"key":"9312_CR14","first-page":"68","volume-title":"The collected papers of Gerhard Gentzen","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G. (1935). Investigations into logical deduction. In M.E. Szabo (Ed.), The collected papers of Gerhard Gentzen (pp. 68\u2013131). English translation of the 1935 paper in German. Amsterdam: North-Holland."},{"key":"9312_CR15","unstructured":"Lanzet, R., & Ben-Yami, H. (2006). Logical inquiries into a new formal system with plural reference. In V. Hendricks (Ed.), First-order logic revisited, logische philosophie series (Vol. 12, pp. 173\u2013223). Logos."},{"key":"9312_CR16","doi-asserted-by":"crossref","unstructured":"Moortgat, M. (1997). Categorial type logics. In J. van Benthem & A. terMeulen (Eds.), Handbook of logic and language (pp. 93\u2013178). North Holland.","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"issue":"4","key":"9312_CR17","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1093\/logcom\/exn086","volume":"20","author":"L Moss","year":"2010","unstructured":"Moss, L. (2010). Syllogistic logics with verbs. Journal of Logic and Computation, 20(4), 947\u2013967. Special issue on papers from Order, Algebra and Logics.","journal-title":"Journal of Logic and Computation"},{"key":"9312_CR18","unstructured":"Peters, S., & Westerst\u00e5hl, D. (2006). Quantifiers in language and logic. Oxford University Press."},{"key":"9312_CR19","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1017\/S0960129501003322","volume":"11","author":"F Pfenning","year":"2001","unstructured":"Pfenning, F., & Davies, R. (2001). A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11, 511\u2013540.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9312_CR20","unstructured":"Prawitz, D. (2006). Natural deduction: a proof-theoretical study. Almqvist and Wicksell, Stockholm, 1965. Soft cover edition by Dover."},{"key":"9312_CR21","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1007\/s11229-004-6295-2","volume":"148","author":"D Prawitz","year":"2006","unstructured":"Prawitz, D. (2006). Meaning approached via proofs. Synthese, 148, 507\u2013524.","journal-title":"Synthese"},{"key":"9312_CR22","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A.N. (1960). The runabout inference-ticket. Analysis, 21, 38\u201339.","journal-title":"Analysis"},{"key":"9312_CR23","doi-asserted-by":"crossref","unstructured":"Rayo, A., & Uzquiano, G. (Eds.) (2006). Absolute generality. Clarendon Press.","DOI":"10.1093\/oso\/9780199276424.001.0001"},{"issue":"56","key":"9312_CR24","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B. (1905). On denoting. Mind, 14(56), 479\u2013493.","journal-title":"Mind"},{"key":"9312_CR25","volume-title":"Studies in logic series (Vol. 35)","author":"H Slater","year":"2011","unstructured":"Slater, H. (2011). Logic is not mathematical. In Studies in logic series (Vol. 35). London: College Publications."},{"key":"9312_CR26","volume-title":"The taming of the true","author":"N Tennant","year":"1997","unstructured":"Tennant, N. (1997). The taming of the true. Oxford: Oxford University Press."},{"issue":"214","key":"9312_CR27","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1111\/j.0031-8094.2004.00344.x","volume":"54","author":"N Tennant","year":"2004","unstructured":"Tennant, N. (2004). A general theory of abstraction operators. The Philosophical Quarterly, 54(214), 105\u2013133.","journal-title":"The Philosophical Quarterly"},{"key":"9312_CR28","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1002\/(SICI)1521-3870(200001)46:1<121::AID-MALQ121>3.0.CO;2-A","volume":"46","author":"J Plato von","year":"2000","unstructured":"von Plato, J. (2000). A problem with normal form in natural deduction. Mathematical Logic Quarterly, 46, 121\u2013124.","journal-title":"Mathematical Logic Quarterly"},{"key":"9312_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1007\/s001530100091","volume":"40","author":"J. Plato von","year":"2001","unstructured":"von Plato, J. (2001). Natural deduction with general elimination rules. Archive for Mathematical Logic, 40, 541\u2013567.","journal-title":"Archive for Mathematical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9312-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-014-9312-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-014-9312-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,25]],"date-time":"2024-05-25T08:36:05Z","timestamp":1716626165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-014-9312-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,25]]},"references-count":29,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["9312"],"URL":"https:\/\/doi.org\/10.1007\/s10992-014-9312-z","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,3,25]]}}}