Formal Semantics in Modern Type Theories
eBook - ePub

Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis, Zhaohui Luo

  1. English
  2. «éPÜB (möbïlé fřïéñdly) Ñ ω É»
  3. «Äväïläblé öñ ïÖS & Äñdřöïd Ü ü Ä»
eBook - ePub

Formal Semantics in Modern Type Theories

Stergios Chatzikyriakidis, Zhaohui Luo

«Böök détäïls ñ»
«Täblé öf çöñtéñts Ð ñ»
«Çïtätïöñs ï»

«Äböüt Thïs Böök ö ñ»

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.

Frequently asked questions

How do I cancel my subscription?
Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Formal Semantics in Modern Type Theories an online PDF/ePUB?
Yes, you can access Formal Semantics in Modern Type Theories by Stergios Chatzikyriakidis, Zhaohui Luo in PDF and/or ePUB format, as well as other popular books in Languages & Linguistics & Linguistic Semantics. We have over one million books available in our catalogue for you to explore.

«Iñföřmätïöñ É»

«Püblïshéř Ñ»
Wiley-ISTE
«Ýéäř»
2020
«ISBÑ»
9781119489214
«Édïtïöñ É»
1
«Sübjéçt л
Languages & Linguistics
«Töpïç»
Linguistic Semantics

«Täblé öf çöñtéñts ç é»

    «Çïtätïöñ stylés föř Formal Semantics in Modern Type Theories ö ř ç ñ»

    APA 6 Citation

    Chatzikyriakidis, S., & Luo, Z. (2020). Formal Semantics in Modern Type Theories (1st ed.). Wiley. Retrieved from https://www.perlego.com/book/2058268/formal-semantics-in-modern-type-theories-pdf (Original work published 2020)

    Chicago Citation

    Chatzikyriakidis, Stergios, and Zhaohui Luo. (2020) 2020. Formal Semantics in Modern Type Theories. 1st ed. Wiley. https://www.perlego.com/book/2058268/formal-semantics-in-modern-type-theories-pdf.

    Harvard Citation

    Chatzikyriakidis, S. and Luo, Z. (2020) Formal Semantics in Modern Type Theories. 1st edn. Wiley. Available at: https://www.perlego.com/book/2058268/formal-semantics-in-modern-type-theories-pdf (Accessed: 25 September 2021).

    MLA 7 Citation

    Chatzikyriakidis, Stergios, and Zhaohui Luo. Formal Semantics in Modern Type Theories. 1st ed. Wiley, 2020. Web. 25 Sept. 2021.