Towards a dynamic type theory
| Abstract |
Over the past few years, there have been a series of attempts Zee89, GS90, EK95, Mus94, KKP95] to combine the Montagovian type theoretic framework Mon74] with dynamic approaches, such as DRT Kam81]. The motivation for these developments is to obtain a general logical framework for discourse semantics that combines compositionality and dynamic binding.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articlesCapturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar.Gennaro Chierchia - 1995 - University of Chicago Press.
Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories.Myriam Bras & Laure Vieu (eds.) - 2001 - Elsevier.
E-Type Pronouns, DRT, Dynamic Semantics and the Quantifier/Variable-Binding Model.S. J. Barker - 1997 - Linguistics and Philosophy 20 (2):195-228.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
Added to PP index
2009-01-28
Total downloads
46 ( #115,326 of 2,180,556 )
Recent downloads (6 months)
1 ( #302,018 of 2,180,556 )
2009-01-28
Total downloads
46 ( #115,326 of 2,180,556 )
Recent downloads (6 months)
1 ( #302,018 of 2,180,556 )
How can I increase my downloads?
Monthly downloads
My notes
Discussion
Nothing in this forum yet.
