I will explore possibilities for formulating linguistic semantics in terms of records and record types of the kind used in recent developments of Martin-L¨of type theory (Betarte, 1998, Betarte and Tasistro, 1998, Coquand, Pollock and Takeyama, 2003, Tasistro, 1997). I will suggest that they give us the tools to develop a theory which includes aspects of Montague semantics, using the lambda calculus1, Discourse Representation Theory (DRT)2, situation semantics3 and Head-Driven Phrase Structure Grammar (HPSG)4 in a single theory. I will also argue that formulating these theories in terms of record types may provide us not only with a uniﬁed approach but also with certain improvements over the individual theories.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Interpreting First-Order Theories Into a Logic of Records.van de Vel Marcel - 2002 - Studia Logica 72 (3):411-432.
Interpreting First-Order Theories Into a Logic of Records.Marcel van De Vel - 2002 - Studia Logica 72 (3):411 - 432.
Copredication, Dynamic Generalized Quantiﬁcation and Lexical Innovation by Coercion.Robin Cooper - unknown -
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
The Voices of the Medical Record.Suzanne Poirier & Daniel J. Brauner - 1990 - Theoretical Medicine and Bioethics 11 (1).
Language, Thought, Logic, and Existence.Richard Brown - 2007 - CALIPSO (Conference Addresses of the Long Island Philosophical Society Online) 1 (2):http://myweb.brooklyn.liu.edu/mc.
Added to index2010-12-22
Total downloads7 ( #505,343 of 2,132,860 )
Recent downloads (6 months)2 ( #287,846 of 2,132,860 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.