Formal Semantics in Modern Type Theories (PDF)
(Sprache: Englisch)
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...
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...
sofort als Download lieferbar
eBook (pdf)
139.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Semantics in Modern Type Theories (PDF)“
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.
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.
Autoren-Porträt von Stergios Chatzikyriakidis, Zhaohui Luo
Stergios Chatzikyriakidis is Associate Professor in ComputationalLinguistics and Associate Director of the Center for Linguistic Theory and
Studies in Probability at the University of Gothenburg, Sweden. He is a
computational semanticist with an interest in formal semantics and
formal syntax.
Zhaohui Luo is Professor of Computer Science at Royal Holloway,
University of London, UK. He has published extensively on type theory,
including a research monograph published by Oxford University Press.
His research has focused on MTT-semantics over the last decade.
Bibliographische Angaben
- Autoren: Stergios Chatzikyriakidis , Zhaohui Luo
- 2020, 1. Auflage, 256 Seiten, Englisch
- Verlag: John Wiley & Sons
- ISBN-10: 1119489229
- ISBN-13: 9781119489221
- Erscheinungsdatum: 03.12.2020
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 2.77 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Semantics in Modern Type Theories"
0 Gebrauchte Artikel zu „Formal Semantics in Modern Type Theories“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Semantics in Modern Type Theories".
Kommentar verfassen