An outline of type-theoretical approaches to lexical semantics
نویسندگان
چکیده
منابع مشابه
Towards a Type-Theoretical Account of Lexical Semantics
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle semantics at the lexical level in order to complete the full analysis of an utterance, we summarize the current formulations of a well-known theory of that field. We then propose and justify our own model of the Generative Lex...
متن کاملThe Montagovian generative lexicon ΛTyn: an integrated type-theoretical framework for compositional semantics and lexical pragmatics
In the recent years, different but similar approaches integrated lexical semantics within compositional semantics. These approaches all make use of type theory at least to compose the meanings. We present here with some details one of these approaches, ours, which makes use of second order lambda calculus as a type theory for meaning assembly and of multi sorted higher order predicate logic for...
متن کاملOutline for an operational semantics of Promela
PROMELA is a high-level specification language for modeling interactions in distributed systems, and for expressing logical correctness requirements about such interactions. The model checker SPIN accepts specifications written in this language, and it can produce automated proofs for each type of property. SPIN either proves that a property is valid in the given system, or it generates a count...
متن کاملAn Overview of Lexical Semantics
This article reviews some linguistic and philosophical work in lexical semantics. In Section 1, the general methods of lexical semantics are explored, with particular attention to how semantic features of verbs are associated with grammatical patterns. In Section 2, philosophical consequences and issues arising from this sort of research is reviewed. There is a longstanding philosophical tradit...
متن کاملTumor antigenicity and approaches to tumor immunotherapy. An outline.
Only for you today! Discover your favourite tumor antigenicity and approaches to tumor immunotherapy an outline softcover reprint of the origina book right here by downloading and getting the soft file of the book. This is not your time to traditionally go to the book stores to buy a book. Here, varieties of book collections are available to download. One of them is this tumor antigenicity and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Language Modelling
سال: 2017
ISSN: 2299-8470,2299-856X
DOI: 10.15398/jlm.v5i2.200