{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T05:40:11Z","timestamp":1714887611102},"reference-count":42,"publisher":"Oxford University Press (OUP)","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1093\/logcom\/exs074","type":"journal-article","created":{"date-parts":[[2013,1,25]],"date-time":"2013-01-25T01:19:51Z","timestamp":1359076791000},"page":"1111-1131","source":"Crossref","is-referenced-by-count":0,"title":["A single-type logic for natural language"],"prefix":"10.1093","volume":"25","author":[{"given":"Kristina","family":"Liefke","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,1,23]]},"reference":[{"key":"2015072400400430000_25.4.1111.1","unstructured":"Anderson A. R. Belnap N. D. Entailment. I. Princeton: Princeton University Press; 1975."},{"key":"2015072400400430000_25.4.1111.2","doi-asserted-by":"crossref","unstructured":"Bach E. Natural language metaphysics. In: Marcus R. B. Dorn G. J. W. Weingartner P. , editors. Logic, Methodology and Philosophy of Science. VII. Amsterdam: Elsevier Science Publishers; 1986.","DOI":"10.1016\/S0049-237X(09)70714-1"},{"key":"2015072400400430000_25.4.1111.3","doi-asserted-by":"publisher","DOI":"10.1016\/0003-4843(74)90016-3"},{"key":"2015072400400430000_25.4.1111.4","doi-asserted-by":"crossref","unstructured":"Barwise J. Scenes and other situations. The Journal of Philosophy 1981;78\/7:369-397.","DOI":"10.2307\/2026481"},{"key":"2015072400400430000_25.4.1111.5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00350139"},{"key":"2015072400400430000_25.4.1111.6","doi-asserted-by":"crossref","unstructured":"Belnap N. D. A useful four-valued logic. In: Dunn J. M. Epstein G. , editors. Modern Uses of Multiple-Valued Logics. Reidel, Dordrecht; 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"2015072400400430000_25.4.1111.7","doi-asserted-by":"crossref","unstructured":"Blamey S. Partial logic. In: Gabbay D. M. Guenthner F. , editors. Handbook of Philosophical Logic. Vol. 5. Kluwer Academic Publishers; 2002.","DOI":"10.1007\/978-94-017-0458-8_5"},{"key":"2015072400400430000_25.4.1111.8","unstructured":"Carnap R. Meaning and Necessity: A Study in Semantics and Modal Logic. Chicago and London: The University of Chicago Press; 1988."},{"key":"2015072400400430000_25.4.1111.9","doi-asserted-by":"crossref","unstructured":"Carstairs-McCarthy A. The Origins of Complex Language: An Inquiry into the Evolutionary Beginnings of Sentences, Syllables, and Truth. Oxford and New York: Oxford University Press; 1999.","DOI":"10.1093\/oso\/9780198238225.001.0001"},{"key":"2015072400400430000_25.4.1111.10","doi-asserted-by":"crossref","unstructured":"Carstairs-McCarthy A. The distinction between sentences and noun phrases: An Impediment to Language Evolution? In: Knight C. Studdert-Kennedy M. Hurford J. R. , editors. The Evolutionary Emergence of Language: Social function and the origins of linguistic form. Cambridge and New York: Cambridge University Press; 2000. p. 248-263.","DOI":"10.1017\/CBO9780511606441.016"},{"key":"2015072400400430000_25.4.1111.11","doi-asserted-by":"crossref","unstructured":"Cheney D. L. Seyfarth R. M. How Monkeys See the World: Inside the Mind of Another Species. Chicago: University of Chicago Press; 1990.","DOI":"10.7208\/chicago\/9780226218526.001.0001"},{"key":"2015072400400430000_25.4.1111.12","unstructured":"Chierchia G. Topics in the Syntax and Semantics of Infinitives and Gerunds. Ann Arbor, MI: University Microfilms International; 1984."},{"key":"2015072400400430000_25.4.1111.13","unstructured":"Chomsky N. Lectures on Government and Binding. Foris, Dordrecht; 1981."},{"key":"2015072400400430000_25.4.1111.14","doi-asserted-by":"crossref","unstructured":"Church A. A formulation of the simple theory of types. Journal of Symbolic Logic 1940;5\/2:56-68.","DOI":"10.2307\/2266170"},{"key":"2015072400400430000_25.4.1111.15","doi-asserted-by":"crossref","unstructured":"Church A. The Calculi of Lambda Conversion. Princeton: Princeton University Press; 1985.","DOI":"10.1515\/9781400881932"},{"key":"2015072400400430000_25.4.1111.16","doi-asserted-by":"publisher","DOI":"10.2307\/2214782"},{"key":"2015072400400430000_25.4.1111.17","unstructured":"Gallin D. Intensional and Higher-Order Modal Logic with Applications to Montague Semantics. North Holland, Amsterdam; 1975."},{"key":"2015072400400430000_25.4.1111.18","doi-asserted-by":"crossref","unstructured":"Keenan E. L. Faltz L. Boolean Semantics for Natural Language. Dordrecht: Kluwer Academic Publishers; 1985.","DOI":"10.1007\/978-94-009-6404-4"},{"key":"2015072400400430000_25.4.1111.19","doi-asserted-by":"crossref","unstructured":"Keenan E. L. Westerst\u00e5hl D. Generalized quantifiers in linguistics and logic. In: van Benthem J. ter Meulen A. , editors. Handbook of Language and Logic. Amsterdam: Elsevier; 1997.","DOI":"10.1016\/B978-044481714-3\/50020-5"},{"key":"2015072400400430000_25.4.1111.20","doi-asserted-by":"crossref","unstructured":"Kleene S. C. On notation for ordinal numbers. Journal of Symbolic Logic 1938;3\/4:150-155.","DOI":"10.2307\/2267778"},{"key":"2015072400400430000_25.4.1111.21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00632365"},{"key":"2015072400400430000_25.4.1111.22","unstructured":"Landman F. Towards a Theory of Information: The Status of Partial Objects in Semantics. In: Groenendijk J. de Jongh D. Stokhof M. , editors. Groningen-Amsterdam Studies in Semantics. Vol. 8. Dordrecht: Foris Publications; 1986. Pegs and alecs."},{"key":"2015072400400430000_25.4.1111.23","doi-asserted-by":"crossref","unstructured":"Landman F. Structures for semantics. In: Chierchia G. Jacobson P. Pelletier F. J. , editors. Studies in Linguistics and Philosophy. Vol. 45. Dordrecht, Boston, and London: Kluwer Academic Publishers; 1991.","DOI":"10.1007\/978-94-011-3212-1"},{"key":"2015072400400430000_25.4.1111.24","unstructured":"Langholm T. How different is partial logic? partiality, modality, and nonmonotonicity. In: Doherty P. , editor. Studies in Logic, Language and Information. CSLI, Stanford; 1996."},{"key":"2015072400400430000_25.4.1111.25","doi-asserted-by":"crossref","unstructured":"Link G. The logical analysis of plurals and mass terms: A lattice-theoretical approach. In: Portner P. Partee B. H. , editors. Formal Semantics: The Essential Readings. Blackwell, Oxford and Malden, Mass; 2002.","DOI":"10.1002\/9780470758335.ch4"},{"key":"2015072400400430000_25.4.1111.26","unstructured":"Montague R. English as a formal language. In: Thomason R. H. , editor. Formal Philosophy: Selected Papers of Richard Montague. New Haven and London: Yale University Press; 1976."},{"key":"2015072400400430000_25.4.1111.27","unstructured":"Montague R. Universal grammar. In: Thomason R. H. , editor. Formal Philosophy: Selected Papers of Richard Montague. New Haven and London: Yale University Press; 1976."},{"key":"2015072400400430000_25.4.1111.28","unstructured":"Montague R. The proper treatment of quantification in ordinary english. In: Thomason R. H. , editor. Formal Philosophy: Selected Papers of Richard Montague. New Haven and London: Yale University Press; 1976."},{"key":"2015072400400430000_25.4.1111.29","doi-asserted-by":"crossref","unstructured":"Morrison M. Unifying Scientific Theories: Physical Concepts and Mathematical Structures. New York: Cambridge University Press; 2000.","DOI":"10.1017\/CBO9780511527333"},{"key":"2015072400400430000_25.4.1111.30","doi-asserted-by":"publisher","DOI":"10.1007\/BF00635639"},{"key":"2015072400400430000_25.4.1111.31","unstructured":"Muskens R. Meaning and Partiality. CSLI Lecture Notes. FoLLI, Stanford; 1995."},{"key":"2015072400400430000_25.4.1111.32","doi-asserted-by":"crossref","unstructured":"Muskens R. On partial and paraconsistent logics. Notre Dame Journal of Formal Logic 1999;40\/3:352-374.","DOI":"10.1305\/ndjfl\/1022615616"},{"key":"2015072400400430000_25.4.1111.33","doi-asserted-by":"crossref","unstructured":"Muskens R. Intensional models for the theory of types. Journal of Symbolic Logic 2007;72\/1:98-118.","DOI":"10.2178\/jsl\/1174668386"},{"key":"2015072400400430000_25.4.1111.34","doi-asserted-by":"crossref","unstructured":"Partee B. H. Noun phrase interpretation and type-shifting principles. In: Groenendijk J. de Jong D. Stokhof M. , editors. Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers. Dordrecht: Foris Publications; 1987.","DOI":"10.1515\/9783112420027-006"},{"key":"2015072400400430000_25.4.1111.35","unstructured":"Partee B. H. Do we need two basic types? In: Beck S. G\u00e4rtner H. -M. , editors. Snippets: Special Issue in Honor of Manfred Krifka. Vol. 20. Berlin; 2009."},{"key":"2015072400400430000_25.4.1111.36","unstructured":"Beck S. G\u00e4rtner H. -M. Snippets: Special Issue in Honor of Manfred Krifka. Vol. 20. Berlin; 2009."},{"key":"2015072400400430000_25.4.1111.37","doi-asserted-by":"crossref","unstructured":"Prawitz D. Hauptsatz for higher order logic. Journal of Symbolic Logic 1968;33\/3:452-457.","DOI":"10.2307\/2270331"},{"key":"2015072400400430000_25.4.1111.38","unstructured":"Smullyan R. M. First-Order Logic. Mineola, NY: Dover Publications; 1995."},{"key":"2015072400400430000_25.4.1111.39","doi-asserted-by":"crossref","unstructured":"Snedeker J. Geren J. Shafto C. L. Starting over: international adoption as a natural experiment in language development. Psychological Science 2007;18\/1:79-87.","DOI":"10.1111\/j.1467-9280.2007.01852.x"},{"key":"2015072400400430000_25.4.1111.40","doi-asserted-by":"crossref","unstructured":"Takahashi M.-o. A proof of cut-elimination theorem in simple type theory. Journal of the Mathematical Society of Japan 1967;19\/4:399-410.","DOI":"10.2969\/jmsj\/01940399"},{"key":"2015072400400430000_25.4.1111.41","unstructured":"Tich\u00fd P. Foundations of partial type theory. Reports on Mathematical Logic 1982;14:59-72."},{"key":"2015072400400430000_25.4.1111.42","doi-asserted-by":"crossref","unstructured":"Westerst\u00e5hl D. Quantifiers in formal and natural languages. In: Gabbay D. Guenthner F. , editors. Handbook of Philosophical Logic. Vol. 4. Reidel, Dordrecht; 1989.","DOI":"10.1007\/978-94-009-1171-0_1"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/25\/4\/1111\/5144421\/exs074.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T05:21:16Z","timestamp":1714886476000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exs074"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,23]]},"references-count":42,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,7,24]]},"published-print":{"date-parts":[[2015,8]]}},"alternative-id":["10.1093\/logcom\/exs074"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exs074","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1,23]]}}}