Počet záznamů: 1

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

SYSNO ASEP	0508521
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
Tvůrce(i)	Pezlar, Ivo (FLU-F)_{ORCID, RID, SAI}
Zdroj.dok.	IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures: Proceedings of the Workshop. - Stroudsburg (PA) : Association for Computational Linguistics, 2019 / Osswald Rainer ; Retoré Christian ; Sutton Peter - ISBN 978-1-950737-25-3
Rozsah stran	s. 10-18
Poč.str.	9 s.
Forma vydání	Tištěná - P
Akce	Workshop on Computing Semantics with Types, Frames and Related Structures
Datum konání	23.05.2019 - 27.05.2019
Místo konání	Gothenburg
Země	SE - Švédsko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	US - Spojené státy americké
Klíč. slova	proof theoretic semantics ; modern type theory ; natural language semantics
Vědní obor RIV	AI - Jazykověda
Obor OECD	Linguistics
CEP	GA19-12420S GA ČR - Grantová agentura ČR
Institucionální podpora	FLU-F - RVO:67985955
DOI	10.18653/v1/W19-1002
Anotace	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.
Pracoviště	Filosofický ústav
Kontakt	Chlumská Simona, chlumska@flu.cas.cz ; Tichá Zuzana, asep@flu.cas.cz Tel: 221 183 360
Rok sběru	2020
Elektronická adresa	https://www.aclweb.org/anthology/W19-1002/

Počet záznamů: 1