Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories
Author :
Publisher : John Wiley & Sons
Total Pages : 256
Release :
ISBN-10 : 9781786301284
ISBN-13 : 1786301288
Rating : 4/5 (84 Downloads)

Book Synopsis Formal Semantics in Modern Type Theories by : Stergios Chatzikyriakidis

Download or read book Formal Semantics in Modern Type Theories written by Stergios Chatzikyriakidis and published by John Wiley & Sons. This book was released on 2021-02-17 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Formal Semantics in Modern Type Theories Related Books

Formal Semantics in Modern Type Theories
Language: en
Pages: 256
Authors: Stergios Chatzikyriakidis
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2021-02-17 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

This book studies formal semantics in modern type theories (MTTsemantics). Compared with simple type theory, MTTs have much richer type structures and provide p
Modern Perspectives in Type-Theoretical Semantics
Language: en
Pages: 297
Authors: Stergios Chatzikyriakidis
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2017-02-07 - Publisher: Springer

DOWNLOAD EBOOK

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 fr
Informal Lectures on Formal Semantics
Language: en
Pages: 164
Authors: Emmon W. Bach
Categories: Language Arts & Disciplines
Type: BOOK - Published: 1989-01-01 - Publisher: SUNY Press

DOWNLOAD EBOOK

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics
Elements of Formal Semantics
Language: en
Pages: 271
Authors: Yoad Winter
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2016-04-08 - Publisher: Edinburgh University Press

DOWNLOAD EBOOK

Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the
Logical Aspects of Computational Linguistics
Language: en
Pages: 202
Authors: Nicholas Asher
Categories: Computers
Type: BOOK - Published: 2014-06-16 - Publisher: Springer

DOWNLOAD EBOOK

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International