北京科技大学

北京科技大学外国语学院研究生导师满海霞介绍如下：

办公电话：010-62334062

电子邮件：manhaixia@ustb.edu.cn

本科课程：基础外语、英语语音与实践、英语词汇学、跨文化交流、名篇翻译鉴赏

研究生课程：实用文体翻译、法律法规翻译、语言学专题、英汉科技笔译

科研方向：一直主要从事逻辑语义学研究，尤其对范畴类型逻辑及其组合范畴语法有深入探讨

科研业绩

论文：

[1]《组合范畴语法的量词辖域歧义研究新思路》，《哲学动态》，2015（8），第一作者；

[2]《乔姆斯基层级与自然语言语法-从短语结构语法到非转换语法》，《外国语文》，2015（3），第一作者；

[3]《蒙太格语法框架下的汉语被动句分析》，《外国语文》，2014（4），第二作者；

[4]《关于逻辑语义学的句法系统》，《安徽大学学报》，2014（7），独立作者；

[5]《汉语把字句及相关句式的CCG形式计算》，《湖北大学学报》，2013（6），独立作者（人大复印资料全文转载）；

[6]《VP的有界性与连动式的事件结构》，《现代外语》，2013（2），第二作者；

[7]《组合范畴语法与其计算特征》，《毕节学院学报》，2013（6），独立作者；

[8]《IF逻辑与IF模态逻辑》，《毕节学院学报》，2013（9），独立作者；

[9]《中国自然语言逻辑的发展与思考》，《中国哲学年鉴2013》，第一作者；

[10]《函项分层思想在语言学研究中的应用》，《重庆理工大学学报（社会科学版）》，2011（8），独立作者；

[11]《汉语照应省略的类型逻辑研究》，《中国社会科学院研究生院》，2011.07，独立作者；

[12]《带有受限缩并规则的兰贝克演算中的照应算子》，《重庆理工大学学报（社会科学版）》，2011（4），第二作者；

[13]《类型逻辑语法的词汇主义思想》，《哲学动态》，2011（2），第二作者；

[14]《类型逻辑语法与汉语中的照应省略》，《湖南科技大学学报（社会科学版）》，2011（2）。人大复印资料全文转载（逻辑卷），2011（2），第二作者；

[15]《事件语义学的发展与思考》，《中国社会科学报》，2010.11，第二作者；

[16]《类型逻辑语法》，《哲学动态》，2010（10），第一作者；

[17]《对‘一+单位词+N+否定词’类周遍性主语的广义量词个案研究》，《重庆理工大学学报（社会科学版）》，2010（7），独立作者

[18]《类型相配与类型贴合》，《中国社会科学院研究生院学报》，2010（5），独立作者；

[19]《形式语义学研究两题》，《毕节学院学报》，2010（2），独立作者；

[20]《<句法描述的半数学化标记>评介》，《自然语言逻辑经典文献研究》，2016年4月，北京：中国社会科学出版社；

[21]《<形式语义学与述谓语法>评介》，《自然语言逻辑经典文献研究》，2016年4月，北京：中国社会科学出版社。

专著：

《汉语照应省略的类型逻辑研究》，对外经济贸易大学出版社，2014。

编著：

《自然语言逻辑经典文献研究》，中国社会科学出版社，2016年4月，第二主编。

译著：

《逻辑、语言与意义（第一卷）》，商务印书馆，2017年11月。

《二战最伟大的战役-经典的陆战》，北京燕山出版社，2013年4月。

《六个瓶子里的历史》，中信出版社，2006年9月。

《真实的亚当•斯密》，中信出版社，2007年9月。

主持的项目：

[1]2017.11-2022.9：国家社科基金重大项目：面向人工智能的组合范畴语法研究，第二子课题负责人（17ZDA027）

[2]2014.6-2018.9：国家社科基金项目：组合范畴语法CCG的逻辑语义研究（14CZX044）

[3]2012.6-2015.6：教育部社科基金项目：面向自然语言信息处理的组合范畴语法研究（12YJCZH153）

[4]2014.9-2015.8：中央高校基本科研业务费专项资金资助项目：基于形式语义学经典理论的汉语本体论研究（FRF-TP-14-086A2）

[5]2012.1-2013.12：北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究(06112021)

[6]2013.11-2015.11：中国逻辑学会学术研究项目：混合范畴类型逻辑与汉语的形式处理(13CLYB009)

[7]2012.1-2013.12：北京科技大学青年人才科研项目：面向自然语言信息处理的组合范畴语法基础理论研究(06112021)