Number of the records: 1
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
- 1.0508521 - FLÚ 2020 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA19-12420S
Institutional support: RVO:67985955
Keywords : proof theoretic semantics * modern type theory * natural language semantics
OECD category: 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.
Permanent Link: http://hdl.handle.net/11104/0299547
Number of the records: 1