Počet záznamů: 1
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
- 1.0508521 - FLÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Pezlar, Ivo
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. Stroudsburg (PA): Association for Computational Linguistics, 2019 - (Osswald, R.; Retoré, C.; Sutton, P.), s. 10-18. ISBN 978-1-950737-25-3.
[Workshop on Computing Semantics with Types, Frames and Related Structures. Gothenburg (SE), 23.05.2019-27.05.2019]
Grant CEP: GA ČR(CZ) GA19-12420S
Institucionální podpora: RVO:67985955
Klíčová slova: proof theoretic semantics * modern type theory * natural language semantics
Obor OECD: Linguistics
https://www.aclweb.org/anthology/W19-1002/
In this paper, we investigate the possibility of translating a fragment of natural deduction system (NDS) for natural language semantics into modern type theory (MTT), originally suggested by Luo (2014). Our main goal will be to examine and translate the basic rules of NDS (namely, meta-rules, structural rules, identity rules, noun rules and rules for intersective and subsective adjectives) to MTT. Additionally, we will also consider some of their general features.
Trvalý link: http://hdl.handle.net/11104/0299547
Počet záznamů: 1