Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F19%3A00508521" target="_blank" >RIV/67985955:_____/19:00508521 - isvavai.cz</a>
Výsledek na webu
<a href="https://www.aclweb.org/anthology/W19-1002/" target="_blank" >https://www.aclweb.org/anthology/W19-1002/</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.18653/v1/W19-1002" target="_blank" >10.18653/v1/W19-1002</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GA19-12420S" target="_blank" >GA19-12420S: Hyperintenzionální význam, teorie typů a logická dedukce</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop
ISBN
978-1-950737-25-3
ISSN
—
e-ISSN
—
Počet stran výsledku
9
Strana od-do
10-18
Název nakladatele
Association for Computational Linguistics
Místo vydání
Stroudsburg (PA)
Místo konání akce
Gothenburg
Datum konání akce
23. 5. 2019
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—

Podobné výsledky(10)