Formal Semantics in Modern Type Theories : Is It Model-Theoretic, Proof-Theoretic, or Both? / Luo, Zhaohui.

Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings. ed. / Nicholas Asher; Sergei Soloviev. Springer, 2014. p. 177-188 (Lecture Notes in Computer Science; Vol. 8535).

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review



In this talk, we contend that, for NLs, the divide between model-theoretic semantics and proof-theoretic semantics has not been well-understood. In particular, the formal semantics based on modern type theories (MTTs) may be seen as both model-theoretic and proof-theoretic. To be more precise, it may be seen both ways in the sense that the NL semantics can first be represented in an MTT in a model-theoretic way and then the semantic representations can be understood inferentially in a proof-theoretic way. Considered in this way, MTTs arguably have unique advantages when employed for formal semantics.
Original languageEnglish
Title of host publicationLogical Aspects of Computational Linguistics
Subtitle of host publication8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings
EditorsNicholas Asher, Sergei Soloviev
Number of pages12
ISBN (Electronic)978-3-662-43742-1
ISBN (Print)978-3-662-43741-4
Publication statusPublished - 2014

Publication series

NameLecture Notes in Computer Science
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 23230583