{"title":"自然语言的自然演绎系统片段到现代类型理论的翻译","authors":"Ivo Pezlar","doi":"10.18653/v1/W19-1002","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":360646,"journal":{"name":"Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures","volume":"62 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory\",\"authors\":\"Ivo Pezlar\",\"doi\":\"10.18653/v1/W19-1002\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.\",\"PeriodicalId\":360646,\"journal\":{\"name\":\"Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures\",\"volume\":\"62 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.18653/v1/W19-1002\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.18653/v1/W19-1002","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory
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.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
