Proceedings of the 45th International Philological Conference (IPC 2016)

Applying the Curry-Howard isomorphism to the description of the natural language semantics

Authors
Artem Andreev
Corresponding Author
Artem Andreev
Available Online June 2017.
DOI
10.2991/ipc-16.2017.39How to use a DOI?
Keywords
isomorphism between syntax and semantics, logical foundations for grammar, formal semantics
Abstract

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.

Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 45th International Philological Conference (IPC 2016)
Series
Advances in Social Science, Education and Humanities Research
Publication Date
June 2017
ISBN
10.2991/ipc-16.2017.39
ISSN
2352-5398
DOI
10.2991/ipc-16.2017.39How to use a DOI?
Copyright
© 2017, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

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  - 10.2991/ipc-16.2017.39
ID  - Andreev2017/06
ER  -