Wiley.com
Print this page Share

Formal Semantics in Modern Type Theories

ISBN: 978-1-78630-128-4
350 pages
June 2018, Wiley-ISTE
Formal Semantics in Modern Type Theories (1786301288) cover image

Description

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.
See More

Table of Contents

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
See More

Related Titles

More in this series

Back to Top