Article Title:A type reduction from proof-conditional to dynamic semantics
Abstract:
Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated model-theoretically, subject to change.
Keywords: proof-conditional semantics; dynamic semantics; types; anaphora; discourse; natural language; truth; bisimulation
DOI: 10.1023/A:1017541301458
Source:JOURNAL OF PHILOSOPHICAL LOGIC
Welcome to correct the error, please contact email: humanisticspider@gmail.com