› › Modern Perspectives In Type Theoretical Semantics

Modern Perspectives in Type-Theoretical Semantics

Author : Stergios Chatzikyriakidis

Publisher : Springer

Page : 297 pages

File Size : 21,26 MB

Release : 2017-02-07

Category : Language Arts & Disciplines

ISBN : 3319504223

Get eBook

Book Description

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.



Formal Semantics in Modern Type Theories

Author : Stergios Chatzikyriakidis

Publisher : John Wiley & Sons

Page : 256 pages

File Size : 44,12 MB

Release : 2021-02-17

Category : Language Arts & Disciplines

ISBN : 1786301288

Get eBook

Book Description

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

Author : Stergios Chatzikyriakidis

Publisher : John Wiley & Sons

Page : 256 pages

File Size : 43,46 MB

Release : 2020-12-18

Category : Language Arts & Disciplines

ISBN : 1119489210

Get eBook

Book Description

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.



Language, Logic, and Computation

Author : Aybüke Özgün

Publisher : Springer Nature

Page : 367 pages

File Size : 19,63 MB

Release : 2022-03-30

Category : Mathematics

ISBN : 3030984796

Get eBook

Book Description

This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume contains 17 full revised papers presented at the conference from 17 submissions. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops. The symposium offered two tutorials in language and logic and aimed at students as well as researchers working in the other areas: · Language: Sign language linguistics. State of the art, by Fabian Bross (University of Stuttgart, Germany) · Logic: Axiomatic Semantics, by Graham E. Leigh (University of Gothenburg, Sweden)



The Handbook of Contemporary Semantic Theory

Author : Shalom Lappin

Publisher : John Wiley & Sons

Page : 771 pages

File Size : 40,63 MB

Release : 2019-02-12

Category : Language Arts & Disciplines

ISBN : 1119046823

Get eBook

Book Description

The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical and computational semantics. Features completely new content from the first edition of The Handbook of Contemporary Semantic Theory Features contributions by leading semanticists, who introduce core areas of contemporary semantic research, while discussing current research Suitable for graduate students for courses in semantic theory and for advanced researchers as an introduction to current theoretical work



Formal Grammar

Author : Raffaella Bernardi

Publisher : Springer

Page : 126 pages

File Size : 43,30 MB

Release : 2019-08-01

Category : Mathematics

ISBN : 3662596482

Get eBook

Book Description

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 24th International Conference on Formal Grammar, FG 2019, held in Riga, Latvia, in August 2019, in conjunction with the 31st European Summer School in Logic, Language and Information, ESSLI 2019. The 7 full papers presented were carefully reviewed and selected from 11 submissions. They present new and original research on formal grammar, mathematical linguistics, and the application of formal and mathematical methods to the study of natural language and focus on topics such as formal and computational phonology, morphology, syntax, semantics, and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological, and architectural issues in grammar and linguistics; and mathematical foundations of statistical approaches to linguistic analysis.



Logic, Language, and Computation

Author : Helle Hvid Hansen

Publisher : Springer

Page : 379 pages

File Size : 18,36 MB

Release : 2017-02-21

Category : Mathematics

ISBN : 366254332X

Get eBook

Book Description

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.



Formal Grammar

Author : Glyn Morrill

Publisher : Springer

Page : 301 pages

File Size : 50,60 MB

Release : 2013-07-30

Category : Mathematics

ISBN : 3642399983

Get eBook

Book Description

This book constitutes the refereed proceedings of the 17th and 18th International Conference on Formal Grammar 2012 and 2013, collocated with the European Summer School in Logic, Language and Information in August 2012/2013. The 18 revised full papers were carefully reviewed and selected from a total of 27 submissions. The focus of papers are as follows: formal and computational phonology, morphology, syntax, semantics and pragmatics; model-theoretic and proof-theoretic methods in linguistics; logical aspects of linguistic structure; constraint-based and resource-sensitive approaches to grammar; learnability of formal grammar; integration of stochastic and symbolic models of grammar; foundational, methodological and architectural issues in grammar and linguistics, and mathematical foundations of statistical approaches to linguistic analysis.





Logic and Algorithms in Computational Linguistics 2018 (LACompLing2018)

Author : Roussanka Loukanova

Publisher : Springer Nature

Page : 210 pages

File Size : 29,67 MB

Release : 2019-09-30

Category : Technology & Engineering

ISBN : 3030300773

Get eBook

Book Description

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 approaches to linguistics can benefit from research on the nature of human language, including from the perspective of its evolution. This book addresses various topics in computational theories of human language, covering grammar, syntax, and semantics. The common thread running through the research presented is the role of computer science, mathematical logic and other subjects of mathematics in computational linguistics and natural language processing (NLP). Promoting intelligent approaches to artificial intelligence (AI) and NLP, the book is intended for researchers and graduate students in the field.