Formal Semantics in Modern Type Theories (Stergios Chatzikyriakidis); John Wiley & Sons Limited
13976
Издатель: John Wiley & Sons Limited
ISBN: 9781119489214
EAN: 9781119489214
Книги: Языкознание
ID: 7026632
Добавлено: 22.12.2020
Описание
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.
Смотри также о книге.
СкидкаГИД инфо +
Сервис сравнения цен СкидкаГИД предлагает сравнить цены на товар «Книга: Formal Semantics in Modern Type Theories (Stergios Chatzikyriakidis); John Wiley & Sons Limited»
По данным нашего сервиса товар предлагался к продаже в 1 магазине. На сегодняшний день доступен в 1 магазине: ЛитРес. По цене от 13976 р. до 13976 р. В случае, если для вас на данный момент цена слишком высока, вы можете воспользоваться сервисом «Сообщить о снижении цены» - мы оповестим вас как только цена опустится до желаемого значения. Но будьте внимательны, используя сервис «История цены» можно спрогнозировать в какую сторону изменяется цена, возможно сейчас самое время для покупки.
Кроме сервиса сравнеция цен, наш сайт также позволяет экономить еще двумя способами: промокодный сервис (информация о промокодах, а также скидки и акции на товары), а также собственный кэшбэк сервис. Купить с кешбеком можно в следующих магазинах: ЛитРес. А информация о промокодах доступна рядом с ценой от магазина и постоянно обновляется.
О книге
| Параметр | Значение |
|---|---|
| ISBN | 9781119489214 |
| Автор(ы) | Stergios Chatzikyriakidis |
| Издатель | John Wiley & Sons Limited |
| Форматы электронной версии | FB2.ZIP,FB3,EPUB,IOS.EPUB,TXT.ZIP,RTF.ZIP,A4.PDF,A6.PDF,MOBI.PRC,TXT |
Где купить (1)
Цена от 13976 руб до 13976 руб в 1 магазине
сообщить о снижении цены| Магазин | Цена | Наличие |
|---|---|---|
| ЛитРес 5/5 | обновлено 24.05.2026 | |
| Яндекс.Маркет 5/5 | Промокоды на скидку | |
Кэшбэк сервис СкидкаГИД
На сегодняшний день товар «Книга: Formal Semantics in Modern Type Theories (Stergios Chatzikyriakidis); John Wiley & Sons Limited» можно купить с кешбеком в 1 магазине: ЛитРес
Кэшбэк – это возврат части денег, потраченных Вами в интернет-магазинах. Всего на нашем сайте более 500 магазинов, с многими из которых Вы наверняка уже знакомы. У каждого магазина свои условия. Кто-то возвращает процент от покупки, а кто-то фиксированную сумму.
Заказывайте он-лайн и получайте часть денег обратно, подробнее..
