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: 296
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
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
The Handbook of Contemporary Semantic Theory
Language: en
Pages: 771
Authors: Shalom Lappin
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2019-02-12 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical an
Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)
Language: en
Pages: 205
Authors: Roussanka Loukanova
Categories: Technology & Engineering
Type: BOOK - Published: 2019-09-30 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and