Modern Perspectives in Type-Theoretical Semantics

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. I...

Full description

Saved in:
Bibliographic Details
Corporate Author SpringerLink (Online service)
Other Authors Chatzikyriakidis, Stergios (Editor), Luo, Zhaohui (Editor)
Format Electronic eBook
LanguageEnglish
Published Cham : Springer International Publishing : Imprint: Springer, 2017.
SeriesStudies in Linguistics and Philosophy, 98
Subjects
Linguistics.
Logic.
Application software.
Computational linguistics.
Semantics.
elektronické knihy
electronic books
Online AccessFull text
ISBN9783319504223
ISSN0924-4662 ;
DOI10.1007/978-3-319-50422-3
Physical DescriptionVIII, 296 p. 49 illus. online resource.

Cover

Table of Contents:
  • Introduction by Stergios Chatzikyriakidis and Zhaohui Luo
  • Part I. Foundational Issues
  • Context-Passing and Underspecification in Dependent Type Semantics by Daisuke Bekki and Koji Mineshima
  • On the Interpretation of Common Nouns: Types v.s. Predicates by Stergios Chatzikyriakidis and Zhaohui Luo
  • Adapting Type Theory with Records for Natural Language Semantics by Robin Cooper
  • Generalized Quantifiers on Dependent Types: A System for Anaphora Language Semantics by Justyna Grudzińska and Marek Zawadowski
  • Part II. Types and Applications
  • Types, Meanings and Co-composition in Lexical Semantics by Nicholas Asher, Marta Abrusan and Tim van de Cruys
  • Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics by Bruno Mery and Christian Retoré
  • Probabilistic Record Type Lattices for Incremental Reference Processing by Julian Hough and Matthew Purver
  • Intensions, Types and Finite-state Truthmaking by Tim Fernando
  • Part III. Implementational Aspects
  • The Grail Theorem Prover: Type theory for Syntax and Semantics by Richard Moot
  • Probability Distributions in Type Theory with Applications in Natural Language Syntax by Krasimir Angelov.

Similar Items