A type reduction from proof-conditional to dynamic semantics

Author:Fernando, T

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