Top

Published in:

2018 | OriginalPaper | Chapter

Handling Verb Phrase Anaphora with Dependent Types and Events

Authors : Daniyar Itegulov, Ekaterina Lebedeva

Published in: Logic, Language, Information, and Computation

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type Semantics (DTS) with a new atomic type for neo-Davidsonian events and an extended @-operator that can return new events that share properties of events referenced by verb phrase anaphora.

The proposed framework, along with illustrative examples of its use, are presented after a brief overview of the necessary background and of the major challenges posed by verb phrase anaphora.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Formalization of the Undecidability of the Halting Problem for a Functional Language

next chapter Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving

fv(x) denotes all free variables in x.

Bekki, D.: Representing anaphora with dependent types. In: Asher, N., Soloviev, S. (eds.) LACL 2014. LNCS, vol. 8535, pp. 14–29. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43742-1_2CrossRef

Dalrymple, M., Shieber, S.M., Pereira, F.C.N.: Ellipsis and higher-order unification. Linguist. Philos. 14(4), 399–452 (1991)CrossRef

Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press, Pittsburgh (1967)

Dummett, M.: What is a theory of meaning? (II). In: Evans, G., McDowell, J. (eds.) Truth and Meaning: Essays in Semantics. Clarendon Press, Oxford (1976)

Dummett, M.A.E.: What is a theory of meaning? In: Guttenplan, S. (ed.) Mind and Language. Oxford University Press, Oxford (1975)

Luo, Z., Soloviev, S.: Dependent event types. In: Kennedy, J., de Queiroz, R.J.G.B. (eds.) WoLLIC 2017. LNCS, vol. 10388, pp. 216–228. Springer, Heidelberg (2017). https://doi.org/10.1007/978-3-662-55386-2_15CrossRef

Martin-Löf, P., Sambin, G.: Intuitionistic Type Theory. Studies in Proof Theory. Bibliopolis, Berkeley (1984)

Montague, R.: Formal Philosophy; Selected Papers of Richard Montague. Yale University Press, New Haven (1974)

Parsons, T.: Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge (1990)

10.

Prawitz, D.: Intuitionistic logic: a philosophical challenge. In: Von Wright, G.H. (ed.) Logic and Philosophy/Logique et Philosophie, vol. 5, pp. 1–10. Springer, Dordrecht (1980). https://doi.org/10.1007/978-94-009-8820-0_1CrossRef

11.

Prüst, H., Scha, R., van den Berg, M.: Discourse grammar and verb phrase anaphora. Linguist. Philos. 17(3), 261–327 (1994)CrossRef

12.

Ranta, A.: Type-Theoretical Grammar. Oxford University Press, Oxford (1994)MATH

13.

Sundholm, G.: Proof theory and meaning. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume III: Alternatives in Classical Logic. SYLI, vol. 166, pp. 471–506. Springer, Dordrecht (1986). https://doi.org/10.1007/978-94-009-5203-4_8CrossRef

14.

Taylor, B.: Modes of occurence, verbs, adverbs and events. Revue Philosophique de la France Et de l’Etranger 176(3), 406–407 (1986)

15.

Verkuyl, H.J.: On the Compositional Nature of the Aspects. D. Reidel Publishing Company, Dordrecht (1972)CrossRef

Title: Handling Verb Phrase Anaphora with Dependent Types and Events
Authors: Daniyar Itegulov
Ekaterina Lebedeva
Publisher: Springer Berlin Heidelberg
Book: Logic, Language, Information, and Computation
Print ISBN: 978-3-662-57668-7

Electronic ISBN: 978-3-662-57669-4

Copyright Year: 2018
DOI: https://doi.org/10.1007/978-3-662-57669-4_12

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner