Formal Semantics in Modern Type Theories

ISBN-13: 9781786301284 / Angielski / Twarda / 2021 / 256 str.

Stergios Chatzikyriakidis; Zhaohui Luo

Opis

Modern Type Theories (MTTs), (type theories within the tradition of Martin-Lof,) 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.

Spis treści

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