Skip to main content

Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis, Zhaohui Luo

ISBN: 978-1-786-30128-4 June 2019 Wiley-ISTE 350 Pages



Product not available for purchase


Modern Type Theories (MTTs), (type theories within the tradition of Martin-Löf,) have been shown to be a serious alternative to set theory in the study of mathematical foundations and have been furthermore shown to be the most suited logical languages to perform reasoning tasks. In linguistics, modern type theories have been relatively unknown, the exception being Ranta’s pioneering book more than 20 years ago and sparse papers on the issue ever since. Based on work by the authors and colleagues in recent years, this book takes the challenge to propose to use MTTs as an alternative framework for Natural Language semantics, providing foundational languages that are considerably rich, computationally attractive and foremost well-suited to perform reasoning with NL semantics tasks.
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