Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

Georgiana Lungu; Zhaohui Luo

doi:10.1007/978-3-662-43742-1_11

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

Georgiana Lungu, Zhaohui Luo

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

Original language	English
Title of host publication	Logical Aspects of Computational Linguistics
Subtitle of host publication	8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings
Editors	Nicholas Asher, Sergei Soloviev
Publisher	Springer
Pages	138-148
Number of pages	11
ISBN (Electronic)	978-3-662-43742-1
ISBN (Print)	978-3-662-43741-4
DOIs	https://doi.org/10.1007/978-3-662-43742-1_11
Publication status	Published - 2014

Publication series

Name	Lecture Notes in Computer Science
Volume	8535

Access to Document

10.1007/978-3-662-43742-1_11

Cite this

Lungu, G., & Luo, Z. (2014). Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. In N. Asher, & S. Soloviev (Eds.), Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings (pp. 138-148). (Lecture Notes in Computer Science; Vol. 8535). Springer. https://doi.org/10.1007/978-3-662-43742-1_11

@inbook{170f31367eb14f20b5662a95098729b2,

title = "Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories",

author = "Georgiana Lungu and Zhaohui Luo",

year = "2014",

doi = "10.1007/978-3-662-43742-1_11",

language = "English",

isbn = "978-3-662-43741-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "138--148",

editor = "Asher, {Nicholas } and Soloviev, {Sergei }",

booktitle = "Logical Aspects of Computational Linguistics",

}

Lungu, G & Luo, Z 2014, Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. in N Asher & S Soloviev (eds), Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. Lecture Notes in Computer Science, vol. 8535, Springer, pp. 138-148. https://doi.org/10.1007/978-3-662-43742-1_11

Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories. / Lungu, Georgiana; Luo, Zhaohui.
Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings. ed. / Nicholas Asher; Sergei Soloviev. Springer, 2014. p. 138-148 (Lecture Notes in Computer Science; Vol. 8535).

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

TY - CHAP

T1 - Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories

AU - Lungu, Georgiana

AU - Luo, Zhaohui

PY - 2014

Y1 - 2014

U2 - 10.1007/978-3-662-43742-1_11

DO - 10.1007/978-3-662-43742-1_11

M3 - Chapter (peer-reviewed)

SN - 978-3-662-43741-4

T3 - Lecture Notes in Computer Science

SP - 138

EP - 148

BT - Logical Aspects of Computational Linguistics

A2 - Asher, Nicholas

A2 - Soloviev, Sergei

PB - Springer

ER -