{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:43:33Z","timestamp":1749725013499},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018435","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"78-96","source":"Crossref","is-referenced-by-count":9,"title":["Semantic interpretation as higher-order deduction"],"prefix":"10.1007","author":[{"given":"Fernando C. N.","family":"Pereira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"6_CR1","series-title":"Final report","volume-title":"Research programme in natural language processing","author":"H. Alshawi","year":"1989","unstructured":"H. Alshawi, D. M. Carter, J. van Eijck, R. C. Moore, D. B. Moran, F. C. N. Pereira, S. G. Pulman, and A. G. Smith. Research programme in natural language processing. Final report, Cambridge Research Centre, SRI International, Cambridge, England, July 1989."},{"key":"6_CR2","volume-title":"Entailment: the Logic of Relevance and Necessity, Volume I","author":"A. R. Anderson","year":"1975","unstructured":"A. R. Anderson and N. D. Belnap, Jr. Entailment: the Logic of Relevance and Necessity, Volume I. Princeton University Press, Princeton, New Jersey, 1975."},{"key":"6_CR3","first-page":"39","volume-title":"Mathematical Logic and its Application","author":"J. Benthem van","year":"1986","unstructured":"J. van Benthem. Categorial grammar and lambda calculus. In D. Skordev, editor, Mathematical Logic and its Application, pages 39\u201360. Plenum Press, New York, New York, 1986."},{"key":"6_CR4","series-title":"Studies in Linguistics and Philosophy","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-4540-1","volume-title":"Essays in Logical Semantics","author":"J. Benthem van","year":"1986","unstructured":"J. van Benthem. Essays in Logical Semantics. Number 29 in Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, Holland, 1986."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-94-015-6878-4_3","volume-title":"Categorial Grammars and Natural Language Structures","author":"J. Benthem van","year":"1988","unstructured":"J. van Benthem. The Lambek calculus. In R. T. Oehrle, E. Bach, and D. Wheeler, editors, Categorial Grammars and Natural Language Structures, pages 35\u201368. D. Reidel, Dordrecht, Holland, 1988."},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"J. van Benthem. Categorial grammar and type theory. Journal of Philosophical Logic, 1989. to appear.","DOI":"10.1075\/llsee.25.04ben"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"A. Colmerauer. Metamorphosis grammars. In L. Bolc, editor, Natural Language Communication with Computers, pages 133\u2013187. Springer-Verlag, 1978. First appeared as \u201cLes Grammaires de Metamorphose\u201d, Groupe d'Intelligence Artificielle, Universit\u00e9 de Marseille II, November 1975.","DOI":"10.1007\/BFb0031371"},{"key":"6_CR8","series-title":"Synthese Language Library","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6932-3","volume-title":"Quantification and Syntactic Theory","author":"R. Cooper","year":"1983","unstructured":"R. Cooper. Quantification and Syntactic Theory. Number 21 in Synthese Language Library. D. Reidel, Dordrecht, Netherlands, 1983."},{"key":"6_CR9","volume-title":"Combinatory Logic, Volume I. Studies in Logic and the Foundations of Mathematics","author":"H. B. Curry","year":"1968","unstructured":"H. B. Curry and R. Feys. Combinatory Logic, Volume I. Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, Holland, 1968. Second printing."},{"key":"6_CR10","unstructured":"M. Dalrymple, S. M. Shieber, and F. C. N. Pereira. Ellipsis and higher-order unification. Submitted for publication, 1990."},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/978-94-009-5203-4_3","volume-title":"Handbook of Philosophical Logic, Volume III, chapter III.3","author":"J. M. Dunn","year":"1986","unstructured":"J. M. Dunn. Relevance logic and entailment. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, Volume III, chapter III.3, pages 117\u2013224. D. Reidel, Dordrecht, Holland, 1986."},{"key":"6_CR12","volume-title":"Aspects of Quantification in Natural Language","author":"J. Eijck van","year":"1985","unstructured":"J. van Eijck. Aspects of Quantification in Natural Language. PhD thesis, University of Groningen, Groningen, Holland, February 1985."},{"key":"6_CR13","volume-title":"Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language","author":"A. P. Felty","year":"1989","unstructured":"A. P. Felty. Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, Pennsylvania, 1989."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"A. P. Felty and D. A. Miller. Specifying theorem provers in a higher-order logic programming language. In E. L. Lusk and R. A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, 1988.","DOI":"10.1007\/BFb0012823"},{"key":"6_CR15","series-title":"CSLI Lecture Notes","volume-title":"Anaphora and Quantification in Situation Theory","author":"M. Gawron","year":"1990","unstructured":"M. Gawron and S. Peters. Anaphora and Quantification in Situation Theory. Number 19 in CSLI Lecture Notes. Center for the Study of Language and Information, Stanford, California, 1990. Distributed by Chicago University Press."},{"key":"6_CR16","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Proofs and Types","author":"J.-Y. Girard","year":"1989","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, England, 1989."},{"volume-title":"Readings in Natural Language Processing","year":"1986","key":"6_CR17","unstructured":"B. J. Grosz, K. S. Jones, and B. L. Webber, editors. Readings in Natural Language Processing. Morgan Kaufmann, Los Altos, California, 1986."},{"key":"6_CR18","unstructured":"P.-K. Halvorsen and R. M. Kaplan. Projections and semantic description in lexical-functional grammar. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 1116\u20131122, Tokyo, Japan, 1988. Institute for New Generation Computer Technology."},{"key":"6_CR19","unstructured":"R. Harper, F. Honsell, and G. Plotkin. A framework for defining logics. In Proceedings of the Second Symposium on Logic in Computer Science, Ithaca, New York, 1987. Cornell University, IEEE."},{"key":"6_CR20","first-page":"95","volume-title":"Categories, Polymorphism and Unification","author":"H. Hendriks","year":"1987","unstructured":"H. Hendriks. Type change in semantics: the scope of quantification and coordination. In E. Klein and J. van Benthem, editors, Categories, Polymorphism and Unification, pages 95\u2013120. Centre for Cognitive Science, University of Edinburgh, Edinburgh, Scotland, 1987."},{"key":"6_CR21","series-title":"London Mathematical Society Student Texts","volume-title":"Introduction to Combinators and \u03bb-Calculus","author":"J. R. Hindley","year":"1986","unstructured":"J. R. Hindley and J. P. Seldin. Introduction to Combinators and \u03bb-Calculus, volume 1 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, England, 1986."},{"key":"6_CR22","first-page":"47","volume":"13","author":"J. R. Hobbs","year":"1987","unstructured":"J. R. Hobbs and S. M. Shieber. An algorithm for generating quantifier scopings. Computational Linguistics, 13:47\u201363, 1987.","journal-title":"Computational Linguistics"},{"key":"6_CR23","first-page":"479","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"W. Howard","year":"1980","unstructured":"W. Howard. The formulae-as-types notion of construction. In J. Seldin and J. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, pages 479\u2013490. Academic Press, London, England, 1980."},{"key":"6_CR24","series-title":"Synthese Language Library","volume-title":"Boolean Semantics for Natural Language","author":"E. L. Keenan","year":"1985","unstructured":"E. L. Keenan and L. M. Faltz. Boolean Semantics for Natural Language. Number 23 in Synthese Language Library. D. Reidel, Dordrecht, Holland, 1985."},{"key":"6_CR25","volume-title":"Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers","author":"E. Klein","year":"1987","unstructured":"E. Klein. VP-ellipsis in DR theory. In J. Groenendijk and M. Stokhof, editors, Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers. Foris, Dordrecht, Holland, 1987."},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"I. Lewin. A quantifier scoping algorithm without a free variable constraint. In H. Karlgren, editor, COLING-90, Volume 3, Finland, 1990. Helsinki University.","DOI":"10.3115\/991146.991180"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"P. Martin-L\u00f6f. Constructive mathematics and computer programming. In Logic, Methodology and Philosophy of Science, VI, pages 153\u2013175. North-Holland, 1982.","DOI":"10.1016\/S0049-237X(09)70189-2"},{"key":"6_CR28","unstructured":"D. A. Miller. A logic programming language with lambda abstraction, function variables and simple unification. In P. Schroeder-Heister, editor, Extensions of Logic Programming, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1990."},{"key":"6_CR29","unstructured":"D. A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In Proceedings of the Second Symposium on Logic in Computer Science, Ithaca, New York, 1987. Cornell University, IEEE."},{"key":"6_CR30","unstructured":"R. Montague. English as a formal language. In R. H. Thomason, editor, Formal Philosphy. Yale University Press, 1974."},{"key":"6_CR31","doi-asserted-by":"crossref","unstructured":"R. Montague. The proper treatment of quantification in ordinary English. In R. H. Thomason, editor, Formal Philosophy. Yale University Press, 1974.","DOI":"10.1007\/978-94-009-2727-8_7"},{"key":"6_CR32","unstructured":"R. Montague. Universal grammar. In R. H. Thomason, editor, Formal Philosophy. Yale University Press, 1974."},{"key":"6_CR33","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3115\/981623.981628","volume-title":"27th Annual Meeting of the Association for Computational Linguistics","author":"R. C. Moore","year":"1989","unstructured":"R. C. Moore. Unification-based semantic interpretation. In 27th Annual Meeting of the Association for Computational Linguistics, pages 33\u201341, Vancouver, British Columbia, 26\u201329 June 1989. Association for Computational Linguistics, Morristown, New Jersey."},{"key":"6_CR34","doi-asserted-by":"crossref","DOI":"10.1515\/9783112329580","volume-title":"Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus","author":"M. Moortgat","year":"1988","unstructured":"M. Moortgat. Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. PhD thesis, University of Amsterdam, Amsterdam, Holland, October 1988."},{"key":"6_CR35","doi-asserted-by":"crossref","first-page":"33","DOI":"10.3115\/982023.982028","volume-title":"26th Annual Meeting of the Association for Computational Linguistics","author":"D. B. Moran","year":"1988","unstructured":"D. B. Moran. Quantifier scoping in the SRI Core Language Engine. In 26th Annual Meeting of the Association for Computational Linguistics, pages 33\u201347, Buffalo, New York, 1988. Association for Computational Linguistics, Morristown, New Jersey."},{"key":"6_CR36","unstructured":"G. Nadathur. A Higher-Order Logic as the Basis for Logic Programming. PhD thesis, University of Pennsylvania, 1986."},{"key":"6_CR37","unstructured":"G. Nadathur and D. A. Miller. An overview of \u03bbProlog. In Fifth International Logic Programming Conference, pages 810\u2013827, Seattle, Washington, August 1988. MIT Press."},{"key":"6_CR38","unstructured":"R. Pareschi and D. A. Miller. Extending definite clause grammars with scoping constructs. In D. H. D. Warren and P. Szeredi, editors, Seventh International Conference on Logic Programming, Jerusalem, Israel, 1990. MIT Press."},{"key":"6_CR39","volume-title":"Logic for Natural Language Analysis","author":"F. C. N. Pereira","year":"1982","unstructured":"F. C. N. Pereira. Logic for Natural Language Analysis. PhD thesis, University of Edinburgh, Edinburgh, Scotland, 1982. Reprinted as Technical Note 275, January 1983, Artificial Intelligence Center, SRI International, Menlo Park, California."},{"issue":"1","key":"6_CR40","first-page":"1","volume":"16","author":"F. C. N. Pereira","year":"1990","unstructured":"F. C. N. Pereira. Categorial semantics and scoping. Computational Linguistics, 16(1):1\u201310, 1990.","journal-title":"Computational Linguistics"},{"key":"6_CR41","series-title":"CSLI Lecture Notes","volume-title":"Prolog and Natural-Language Analysis","author":"F. C. N. Pereira","year":"1985","unstructured":"F. C. N. Pereira and S. M. Shieber. Prolog and Natural-Language Analysis. Number 10 in CSLI Lecture Notes. Center for the Study of Language and Information, Stanford, California, 1985. Distributed by Chicago University Press."},{"key":"6_CR42","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. C. N. Pereira","year":"1980","unstructured":"F. C. N. Pereira and D. H. D. Warren. Definite clause grammars for language analysis\u2014a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13:231\u2013278, 1980. Reprinted in [17].","journal-title":"Artificial Intelligence"},{"key":"6_CR43","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"D. Prawitz. Natural Deduction: A Proof-Theoretical Study. Almqvist and Wiksell, Uppsala, Sweden, 1965."},{"key":"6_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-2913-1","volume-title":"Combinators, \u03bb-Terms and Proof Theory","author":"S. Stenlund","year":"1972","unstructured":"S. Stenlund. Combinators, \u03bb-Terms and Proof Theory. D. Reidel, Dordrecht, Holland, 1972."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018435","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:33:18Z","timestamp":1626751998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018435"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/bfb0018435","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}