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

DOI10.1007/978-3-662-43742-1_14zbMath1291.03060OpenAlexW88496791MaRDI QIDQ4981278

Zhaohui Luo

Publication date: 24 June 2014

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-43742-1_14

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (4)

Propositional forms of judgemental interpretations ⋮ Proof Assistants for Natural Language Semantics ⋮ Adjectival and adverbial modification: the view from modern type theories ⋮ Existential Import and Relations of Categorical and Modal Categorical Statements

Uses Software

• Unnamed Item

This page was built for publication: Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both?