Formal Semantics in Modern Type Theories
-
- Einzelkauf Download ausgewählt
-
Sprache:Englisch
-
eBook Format:ePUB 3
- ePUB 3 139,99 € ausgewählt
- PDF 139,99 €
139,99 €
inkl. gesetzl. MwSt.Beschreibung
Produktdetails
Format
ePUB 3
Kopierschutz
Ja
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
18.12.2020
Verlag
John Wiley & Sons IncSeitenzahl
(Printausgabe)
Dateigröße
2930 KB
Auflage
1. Auflage
Sprache
Englisch
EAN
9781119489214
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice