В книге "Formal Semantics in Modern Тип Theories" автор Stergios Chartzilyacids утверждает об изучении семантики формальной теории современного типа теорий по сравнению с простой теорией типа, где есть более сложные типы и обеспечивают мощные средства для адекватного построения семантических конструкций, что предлагает серьезную альтернативу традиционным основанным на теориях множеств и позволяет развивать как модельные, так и доказательные теории, которые до сих пор были недоступны в связи с развитием МТТ-семантик. Автор предоставляет понятное и точное описание МТТ-теорий и полное введение в МТТ-семантику. В ней приведены различные случаи исследования,
Эта книга изучает формальную семантику в современных теориях типов (МТТ-семантика). По сравнению с простой теорией типов, МТТ содержит гораздо более богатые типы и предоставляет мощные средства для адекватного построения семантики. Это предлагает серьёзную альтернативу традиционному основательному подходу к лингвистической семантике и открывает новые возможности для разработки формальной семантики, которая является одновременно и теоретической моделями, и теоретико-доказательной. Эта книга предлагает дружественное и точное описание МТТ и предлагает глубокое введение в МТТ- семантику. Она разрабатывает несколько практических примеров, таких как адъективное изменение и сопоставление, чтобы проиллюстрировать привлекательность использования МТТ для изучения лингвистической сути. Автор также исследует существующий ассистант доказательства, основанный на МТТ- семасиологи, для проверки базовых семантических конструкций и рассуждения на естественном языке. Несколько продвинутых вопросов также рассмотрены кратко, включая языковые типы событий зависимости, приложение зависящей задачи типа для семантики событий.
Электронная Книга «Formal Semantics in Modern Type Theories» написана автором Stergios Chatzikyriakidis в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781119489214
Описание книги от Stergios Chatzikyriakidis
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.
