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

辦公電話：010-62334062

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

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

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

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

科研業(yè)績(jī)

論文：

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

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

[3]《蒙太格語(yǔ)法框架下的漢語(yǔ)被動(dòng)句分析》，《外國(guó)語(yǔ)文》，2014（4），第二作者；

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

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

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

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

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

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

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

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

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

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

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

[15]《事件語(yǔ)義學(xué)的發(fā)展與思考》，《中國(guó)社會(huì)科學(xué)報(bào)》，2010.11，第二作者；

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

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

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

[19]《形式語(yǔ)義學(xué)研究?jī)深}》，《畢節(jié)學(xué)院學(xué)報(bào)》，2010（2），獨(dú)立作者；

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

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

專著：

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

編著：

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

譯著：

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

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

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

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

主持的項(xiàng)目：

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

[2]2014.6-2018.9：國(guó)家社科基金項(xiàng)目：組合范疇語(yǔ)法CCG的邏輯語(yǔ)義研究（14CZX044）

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

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

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

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

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