This book studies formal semantics in modern type theories (MTTsemantics).
Compared with simple type theory, MTTs have much richer type
structures and provide powerful means for adequate semantic
constructions. This offers a serious alternative to the traditional settheoretical foundation for linguistic semantics and opens up a new
avenue for developing formal semantics that is both model-theoretic and
proof-theoretic, which was not available before the development of MTTsemantics.
This book provides a reader-friendly and precise description of MTTs and
offers a comprehensive introduction to MTT-semantics. It develops
several case studies, such as adjectival modification and copredication,
to exemplify the attractiveness of using MTTs for the study of linguistic
meaning. It also examines existing proof assistant technology based on
MTT-semantics for the verification of semantic constructions and
reasoning in natural language. Several advanced topics are also briefly
studied, including dependent event types, an application of dependent
typing to event semantics.
Mục lục
Chapter 1. Type Theoretical Semantics: Introduction
Chapter 2. Modern Type Theories
Chapter 3. MTT-semantics: Basics
Chapter 4. Adjectival and Adverbial Modification in MTT-semantics
Chapter 5. Copredication and Dot-types
Chapter 6. Reasoning about NL in Coq
Chapter 7. Advanced Topics and Conclusion
Giới thiệu về tác giả
Stergios Chatzikyriakidis is Associate Professor in Computational
Linguistics and Associate Director of the Center for Linguistic Theory and
Studies in Probability at the University of Gothenburg, Sweden. He is a
computational semanticist with an interest in formal semantics and
formal syntax.
Zhaohui Luo is Professor of Computer Science at Royal Holloway,
University of London, UK. He has published extensively on type theory,
including a research monograph published by Oxford University Press.
His research has focused on MTT-semantics over the last decade.
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
183.811 Ebooks trong thể loại này
