| 书目名称 | Modern Perspectives in Type-Theoretical Semantics |
| 编辑 | Stergios Chatzikyriakidis,Zhaohui Luo |
| 视频video | |
| 概述 | Offers original interdisciplinary work on type theoretical semantics at the junction of linguistics, logic and computer science.Covers both theoretical and implementational apsects.Introduces cutting |
| 丛书名称 | Studies in Linguistics and Philosophy |
| 图书封面 |  |
| 描述 | This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. It consists of unpublished work by some key researchers on various issues related to the type theoretical study of formal semantics and further exemplifies the advantages of using modern type theoretical approaches to linguistic semantics. Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, modality and plurals, innovational interdisciplinary research like the introduction of probability theory to type theories as well as computational implementations of type theoretical approaches. This volume will be of great interest to formal semanticists that are looking for alternative ways to study linguistic semantics, but will also be of interest to theoretical computer scientists and mathematicians that are interested in the applications of type theory. |
| 出版日期 | Book 2017 |
| 关键词 | Anaphora; Computation in natural language context; Computational semantics; Formal semantics; Generalize |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-50422-3 |
| isbn_softcover | 978-3-319-84397-1 |
| isbn_ebook | 978-3-319-50422-3Series ISSN 0924-4662 Series E-ISSN 2215-034X |
| issn_series | 0924-4662 |
| copyright | Springer International Publishing AG 2017 |
发表于 2025-3-21 19:27:27
