Applying the Curry-Howard isomorphism to the description of the natural language semantics
Available Online June 2017.
- https://doi.org/10.2991/ipc-16.2017.39How to use a DOI?
- isomorphism between syntax and semantics, logical foundations for grammar, formal semantics
- The article deals with the possibiltiy to adapt the Curry-Howard isomorphism to describe natural language semantics. An approach to treating linguistic ambiguity is proposed based on specifying invariants for proposition classes. A variant of constructive higher-order logic powerful enough to cover descriptions of natural languages.
- Open Access
- This is an open access article distributed under the CC BY-NC license.
Cite this article
TY - CONF AU - Artem Andreev PY - 2017/06 DA - 2017/06 TI - Applying the Curry-Howard isomorphism to the description of the natural language semantics BT - Proceedings of the 45th International Philological Conference (IPC 2016) PB - Atlantis Press SP - 148 EP - 152 SN - 2352-5398 UR - https://doi.org/10.2991/ipc-16.2017.39 DO - https://doi.org/10.2991/ipc-16.2017.39 ID - Andreev2017/06 ER -