Modern Perspectives in Type-Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics
Author :
Publisher : Springer
Total Pages : 297
Release :
ISBN-10 : 9783319504223
ISBN-13 : 3319504223
Rating : 4/5 (223 Downloads)

Book Synopsis Modern Perspectives in Type-Theoretical Semantics by : Stergios Chatzikyriakidis

Download or read book Modern Perspectives in Type-Theoretical Semantics written by Stergios Chatzikyriakidis and published by Springer. This book was released on 2017-02-07 with total page 297 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. It consists of unpublished work by some key researchers on various issues related to the type theoretical study of formal semantics and further exemplifies the advantages of using modern type theoretical approaches to linguistic semantics. Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, modality and plurals, innovational interdisciplinary research like the introduction of probability theory to type theories as well as computational implementations of type theoretical approaches. This volume will be of great interest to formal semanticists that are looking for alternative ways to study linguistic semantics, but will also be of interest to theoretical computer scientists and mathematicians that are interested in the applications of type theory.


Modern Perspectives in Type-Theoretical Semantics Related Books

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
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
New Frontiers in Artificial Intelligence
Language: en
Pages: 347
Authors: Setsuya Kurahashi
Categories: Computers
Type: BOOK - Published: 2017-07-05 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the JSAI-isAI 2016 Workshops, LENLS 13, HAT-MASH, AI-Biz, JURISIN and SKL, held in
Modal Homotopy Type Theory
Language: en
Pages: 191
Authors: David Corfield
Categories: Philosophy
Type: BOOK - Published: 2020-02-06 - Publisher: Oxford University Press

DOWNLOAD EBOOK

"The old logic put thought in fetters, while the new logic gives it wings." For the past century, philosophers working in the tradition of Bertrand Russell - wh
Type-Logical Syntax
Language: en
Pages: 420
Authors: Yusuke Kubota
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2020-09-15 - Publisher: MIT Press

DOWNLOAD EBOOK

A novel logic-based framework for representing the syntax-semantics interface of natural language, applicable to a range of phenomena. In this book, Yusuke Kubo