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

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA19-12420S" target="_blank" >GA19-12420S: Hyperintensional Meaning, Type Theory and Logical Deduction</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2019
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection
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
—
Number of pages
9
Pages from-to
10-18
Publisher name
Association for Computational Linguistics
Place of publication
Stroudsburg (PA)
Event location
Gothenburg
Event date
May 23, 2019
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)