北京科技大學(xué)

北京科技大學(xué)外國語學(xué)院研究生導(dǎo)師滿海霞介紹如下：

辦公電話：010-62334062

電子郵件：manhaixia@ustb.edu.cn

本科課程：基礎(chǔ)外語、英語語音與實踐、英語詞匯學(xué)、跨文化交流、名篇翻譯鑒賞

研究生課程：實用文體翻譯、法律法規(guī)翻譯、語言學(xué)專題、英漢科技筆譯

科研方向：一直主要從事邏輯語義學(xué)研究，尤其對范疇類型邏輯及其組合范疇語法有深入探討

科研業(yè)績

論文：

[1]《組合范疇語法的量詞轄域歧義研究新思路》，《哲學(xué)動態(tài)》，2015（8），第一作者；

[2]《喬姆斯基層級與自然語言語法-從短語結(jié)構(gòu)語法到非轉(zhuǎn)換語法》，《外國語文》，2015（3），第一作者；

[3]《蒙太格語法框架下的漢語被動句分析》，《外國語文》，2014（4），第二作者；

[4]《關(guān)于邏輯語義學(xué)的句法系統(tǒng)》，《安徽大學(xué)學(xué)報》，2014（7），獨立作者；

[5]《漢語把字句及相關(guān)句式的CCG形式計算》，《湖北大學(xué)學(xué)報》，2013（6），獨立作者（人大復(fù)印資料全文轉(zhuǎn)載）；

[6]《VP的有界性與連動式的事件結(jié)構(gòu)》，《現(xiàn)代外語》，2013（2），第二作者；

[7]《組合范疇語法與其計算特征》，《畢節(jié)學(xué)院學(xué)報》，2013（6），獨立作者；

[8]《IF邏輯與IF模態(tài)邏輯》，《畢節(jié)學(xué)院學(xué)報》，2013（9），獨立作者；

[9]《中國自然語言邏輯的發(fā)展與思考》，《中國哲學(xué)年鑒2013》，第一作者；

[10]《函項分層思想在語言學(xué)研究中的應(yīng)用》，《重慶理工大學(xué)學(xué)報（社會科學(xué)版）》，2011（8），獨立作者；

[11]《漢語照應(yīng)省略的類型邏輯研究》，《中國社會科學(xué)院研究生院》，2011.07，獨立作者；

[12]《帶有受限縮并規(guī)則的蘭貝克演算中的照應(yīng)算子》，《重慶理工大學(xué)學(xué)報（社會科學(xué)版）》，2011（4），第二作者；

[13]《類型邏輯語法的詞匯主義思想》，《哲學(xué)動態(tài)》，2011（2），第二作者；

[14]《類型邏輯語法與漢語中的照應(yīng)省略》，《湖南科技大學(xué)學(xué)報（社會科學(xué)版）》，2011（2）。人大復(fù)印資料全文轉(zhuǎn)載（邏輯卷），2011（2），第二作者；

[15]《事件語義學(xué)的發(fā)展與思考》，《中國社會科學(xué)報》，2010.11，第二作者；

[16]《類型邏輯語法》，《哲學(xué)動態(tài)》，2010（10），第一作者；

[17]《對‘一+單位詞+N+否定詞’類周遍性主語的廣義量詞個案研究》，《重慶理工大學(xué)學(xué)報（社會科學(xué)版）》，2010（7），獨立作者

[18]《類型相配與類型貼合》，《中國社會科學(xué)院研究生院學(xué)報》，2010（5），獨立作者；

[19]《形式語義學(xué)研究兩題》，《畢節(jié)學(xué)院學(xué)報》，2010（2），獨立作者；

[20]《<句法描述的半數(shù)學(xué)化標記>評介》，《自然語言邏輯經(jīng)典文獻研究》，2016年4月，北京：中國社會科學(xué)出版社；

[21]《<形式語義學(xué)與述謂語法>評介》，《自然語言邏輯經(jīng)典文獻研究》，2016年4月，北京：中國社會科學(xué)出版社。

專著：

《漢語照應(yīng)省略的類型邏輯研究》，對外經(jīng)濟貿(mào)易大學(xué)出版社，2014。

編著：

《自然語言邏輯經(jīng)典文獻研究》，中國社會科學(xué)出版社，2016年4月，第二主編。

譯著：

《邏輯、語言與意義（第一卷）》，商務(wù)印書館，2017年11月。

《二戰(zhàn)最偉大的戰(zhàn)役-經(jīng)典的陸戰(zhàn)》，北京燕山出版社，2013年4月。

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

《真實的亞當(dāng)•斯密》，中信出版社，2007年9月。

主持的項目：

[1]2017.11-2022.9：國家社科基金重大項目：面向人工智能的組合范疇語法研究，第二子課題負責(zé)人（17ZDA027）

[2]2014.6-2018.9：國家社科基金項目：組合范疇語法CCG的邏輯語義研究（14CZX044）

[3]2012.6-2015.6：教育部社科基金項目：面向自然語言信息處理的組合范疇語法研究（12YJCZH153）

[4]2014.9-2015.8：中央高校基本科研業(yè)務(wù)費專項資金資助項目：基于形式語義學(xué)經(jīng)典理論的漢語本體論研究（FRF-TP-14-086A2）

[5]2012.1-2013.12：北京科技大學(xué)青年人才科研項目：面向自然語言信息處理的組合范疇語法基礎(chǔ)理論研究(06112021)

[6]2013.11-2015.11：中國邏輯學(xué)會學(xué)術(shù)研究項目：混合范疇類型邏輯與漢語的形式處理(13CLYB009)

[7]2012.1-2013.12：北京科技大學(xué)青年人才科研項目：面向自然語言信息處理的組合范疇語法基礎(chǔ)理論研究(06112021)