Modern Perspectives In Type Theoretical Semantics

Author: Stergios Chatzikyriakidis
Editor: Springer
ISBN: 3319504223
File Size: 67,97 MB
Format: PDF, ePub, Mobi
Read: 6525
Download

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
Language: en
Pages: 296
Authors: Stergios Chatzikyriakidis, Zhaohui Luo
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2017-02-07 - Publisher: Springer

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
Formal Semantics in Modern Type Theories
Language: en
Pages: 256
Authors: Stergios Chatzikyriakidis, Zhaohui Luo
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2020-12-03 - Publisher: John Wiley & Sons

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

This book focuses mainly on logical approaches to computational linguistics, but also discusses integrations with other approaches, presenting both classic and newly emerging theories and applications.Decades of research on theoretical work and practical applications have demonstrated that computational linguistics is a distinctively interdisciplinary area. There is convincing evidence that computational
Concepts, Frames and Cascades in Semantics, Cognition and Ontology
Language: en
Pages:
Authors: Sebastian Löbner, Thomas Gamerschlag, Tobias Kalenscher, Markus Schrenk, Henk Zeevat
Categories: Electronic books
Type: BOOK - Published: 2021 - Publisher: Springer Nature

This open access book presents novel theoretical, empirical and experimental work exploring the nature of mental representations that support natural language production and understanding, and other manifestations of cognition. One fundamental question raised in the text is whether requisite knowledge structures can be adequately modeled by means of a uniform
The Semantics of Dynamic Space in French
Language: en
Pages: 396
Authors: Michel Aurnague, Dejan Stosic
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2019-07-29 - Publisher: John Benjamins Publishing Company

Research on the semantics of spatial markers in French is known mainly through Vandeloise’s (1986, 1991) work on static prepositions. However, interest in the expression of space in French goes back to the mid-1970s and focused first on verbs denoting changes in space, whose syntactic properties were related to specific