Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

This book studies formal semantics in modern type theories (MTTsemantics).

Author: Stergios Chatzikyriakidis

Publisher: John Wiley & Sons

ISBN: 9781786301284

Category: Language Arts & Disciplines

Page: 256

View: 269

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.
Categories: Language Arts & Disciplines

Modern Perspectives in Type Theoretical Semantics

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.

Author: Stergios Chatzikyriakidis

Publisher: Springer

ISBN: 9783319504223

Category: Language Arts & Disciplines

Page: 296

View: 405

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.
Categories: Language Arts & Disciplines

Logic and Algorithms in Computational Linguistics 2018 LACompLing2018

Logic and Algorithms in Computational Linguistics 2018  LACompLing2018

Zhaohui Luo Abstract Type theories have been used as foundational languages for formal semantics. Under the propositions-as-types principle, most modern type systems have explicit proof objects which, however, cause problems in ...

Author: Roussanka Loukanova

Publisher: Springer Nature

ISBN: 9783030300777

Category: Technology & Engineering

Page: 205

View: 128

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.
Categories: Technology & Engineering

Logical Aspects of Computational Linguistics Celebrating 20 Years of LACL 1996 2016

Logical Aspects of Computational Linguistics  Celebrating 20 Years of LACL  1996   2016

The current paper is structured as follows: in Sect.2, we provide an introduction to TTCS and the implementation of some ... In this section, we shall first introduce formal semantics in a constructive type theory and then how we will ...

Author: Maxime Amblard

Publisher: Springer

ISBN: 9783662538265

Category: Mathematics

Page: 335

View: 803

Edited under the auspices of the Association of Logic, Language andInformation (FoLLI), this book constitutes the refereed proceedings ofthe 20th anniversary of the International Conference on LogicalAspects of Computational Linguistics, LACL 2016, held in LORIA Nancy,France, in December 2016. The 19 contributed papers, presentedtogether with 4 invited papers and 6 abstracts, were carefullyreviewed and selected from 38 submissions. The focus of the conferenceis the use of type theoretic, proof theoretic, and model theoreticmethods for describing and formalising natural language syntax,semantics, and pragmatics as well as the implementation of thecorresponding tools.
Categories: Mathematics

Logical Aspects of Computational Linguistics

Logical Aspects of Computational Linguistics

Modern type theories (MTTs) have been developed as a powerful foundation for formal semantics. In particular, it provides a useful platform for natural language inference (NLI) where proof assistants can be used for inference on ...

Author: Nicholas Asher

Publisher: Springer

ISBN: 9783662437421

Category: Computers

Page: 189

View: 576

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Conference on Logical Aspects of Computational Linguistics (LACL 2014) held in Toulouse, France, in June 2014. On the broadly syntactic side, there are papers on the logical and computational foundations of context free grammars, pregroup grammars, on the Lambek calculus and on formalizations of aspects of minimalism. There is also a paper on Abstract Categorical Grammar, as well as papers on issues at the syntax/semantics interface. On the semantic side, the volume's papers address monotonicity reasoning and the semantics of adverbs in type theory, proof theoretical semantics and predicate and argument invariance.
Categories: Computers

Language Logic and Computation

Language  Logic  and Computation

Formal semantics in modern type theories (MTT-semantics) [10,35] has been proposed as an alternative to Montague Semantics, and various semantic accounts have been given within this paradigm for a wide range of linguistic phenomena [8 ...

Author: Aybüke Özgün

Publisher: Springer Nature

ISBN: 9783030984793

Category:

Page:

View: 164

Categories:

The Handbook of Contemporary Semantic Theory

The Handbook of Contemporary Semantic Theory

The second edition of The Handbook of Contemporary Semantic Theory presents a comprehensive introduction to cutting-edge research in contemporary theoretical and computational semantics.

Author: Shalom Lappin

Publisher: John Wiley & Sons

ISBN: 9781119046820

Category: Language Arts & Disciplines

Page: 776

View: 757

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
Categories: Language Arts & Disciplines

Elements of Formal Semantics

Elements of Formal Semantics

Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning.

Author: Yoad Winter

Publisher: Edinburgh University Press

ISBN: 9780748677771

Category: Language Arts & Disciplines

Page: 272

View: 388

Introducing some of the foundational concepts, principles and techniques in the formal semantics of natural language, Elements of Formal Semantics outlines the mathematical principles that underlie linguistic meaning. Making use of a wide range of concrete English examples, the book presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn to utilise these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning.
Categories: Language Arts & Disciplines

Semantics

Semantics

This is an essential text for undergraduates and postgraduates involved in the study of semantics. It is an ideal text for a wide range of modules on the philosophy of language, linguistic meaning and formal semantics.

Author: Kate Kearns

Publisher: Bloomsbury Publishing

ISBN: 9780230356092

Category: Language Arts & Disciplines

Page: 288

View: 790

Assuming no prior experience, this core textbook introduces formal semantics in an accessible and engaging way and provides students with a solid understanding of a range of semantic phenomena. It explores a wealth of topics, including generalized quantifier theory, referential opacity, aktionsarten, thematic roles and lexical conceptual structure, tense and aspect and event semantics. Chapters are illustrated with numerous examples to contextualise the theory, and practical exercises encourage students to engage with the text and develop their problem-solving skills. This is an essential text for undergraduates and postgraduates involved in the study of semantics. It is an ideal text for a wide range of modules on the philosophy of language, linguistic meaning and formal semantics. New to this Edition: - Fully revised and updated, with new material on type theory, the lambda calculus, semantic composition, reference to times in a narrative and discourse representation theory - Exercises now graded according to level of difficulty, from beginner to very advanced level
Categories: Language Arts & Disciplines

Semantics

Semantics

Updates include: • New sections on causation, tests for situation types, lexical pragmatics, categorization, construction grammar, lexical typology, and polysemy • The addition of new chapter exercises with solutions, designed to ...

Author: Saeed

Publisher: John Wiley & Sons

ISBN: 9781118430163

Category: Language Arts & Disciplines

Page: 496

View: 737

"Covers all of the basic concepts and methods of the field of semantics, as well as some of the most important contemporary lines of research"--
Categories: Language Arts & Disciplines