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 |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Capturing Dynamic Conceptual Frames.Rafal Urbaniak - 2010 - Logic Journal of the IGPL 18 (3):430-455.
E-Type Pronouns, DRT, Dynamic Semantics and the Quantifier/Variable-Binding Model.S. J. Barker - 1997 - Linguistics and Philosophy 20 (2):195-228.
Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories.Myriam Bras & Laure Vieu (eds.) - 2001 - Elsevier.
Dynamics of Meaning: Anaphora, Presupposition, and the Theory of Grammar.Gennaro Chierchia - 1995 - University of Chicago Press.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
Analytics
Added to PP index
2009-01-28
Total views
46 ( #216,076 of 2,401,730 )
Recent downloads (6 months)
1 ( #551,964 of 2,401,730 )
2009-01-28
Total views
46 ( #216,076 of 2,401,730 )
Recent downloads (6 months)
1 ( #551,964 of 2,401,730 )
How can I increase my downloads?
Downloads