توضیحات
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.
————————————————————–
ترجمه ماشینی :
این کتاب به بررسی معناشناسی رسمی در نظریه های نوع مدرن (MTTsemantics) می پردازد. در مقایسه با نظریه نوع ساده، MTTها ساختارهای نوع بسیار غنیتری دارند و ابزار قدرتمندی برای ساختهای معنایی کافی فراهم میکنند. این یک جایگزین جدی برای پایههای نظری مجموعههای سنتی برای معناشناسی زبانشناختی ارائه میدهد و راه جدیدی را برای توسعه معناشناسی رسمی باز میکند که هم مدل-تئوری و هم نظریه اثبات است، که قبل از توسعه معناشناسی MTT در دسترس نبود. این کتاب توصیفی خواننده پسند و دقیق از MTTها ارائه می دهد و مقدمه ای جامع برای MTT-معناشناسی ارائه می دهد. چندین مطالعه موردی، مانند اصلاح صفت و اعتبار مشترک، برای نشان دادن جذابیت استفاده از MTTها برای مطالعه معنای زبانی ایجاد می کند. همچنین فناوری دستیار اثبات موجود مبتنی بر معناشناسی MTT را برای تأیید ساختارهای معنایی و استدلال در زبان طبیعی بررسی میکند. چندین موضوع پیشرفته نیز به طور خلاصه مورد مطالعه قرار میگیرند، از جمله انواع رویدادهای وابسته، کاربرد تایپ وابسته در معناشناسی رویداد.
tag : دانلود کتاب معناشناسی صوری در نظریه های نوع مدرن , Download معناشناسی صوری در نظریه های نوع مدرن , دانلود معناشناسی صوری در نظریه های نوع مدرن , Download Formal Semantics in Modern Type Theories Book , معناشناسی صوری در نظریه های نوع مدرن دانلود , buy معناشناسی صوری در نظریه های نوع مدرن , خرید کتاب معناشناسی صوری در نظریه های نوع مدرن , دانلود کتاب Formal Semantics in Modern Type Theories , کتاب Formal Semantics in Modern Type Theories , دانلود Formal Semantics in Modern Type Theories , خرید Formal Semantics in Modern Type Theories , خرید کتاب Formal Semantics in Modern Type Theories ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.