1. 哲學邏輯與邏輯哲學，國家教委青年基金項目，1988－1989。
2. 模態邏輯研究，國家教委八五規劃項目，1993－1995。
3. 廣義模態邏輯研究，教育部九五規劃項目，1998－2001。
4. 異常邏輯研究，教育部十五規劃項目，2001.12－2005.5。
5. 相幹邏輯研究，國家社會科學基金項目，2005－2008。 1. 邏輯學導論，上海市九五重點教材（世界銀行貸款資助項目），1999－2000。
2. 邏輯學大辭典，上海市哲學社會科學十五規劃重點項目，任副主編，2003－2005。
六、主要獲獎
1. 個人專著《經典邏輯與直覺主義邏輯》於1990年獲“金嶽霖學術獎”，1994年獲上海市哲學社會科學優秀學術成果獎，2004年獲中國邏輯學會優秀成果獎。
2. 論文《條件句與相幹邏輯》於2000年獲上海市哲學社會科學優秀學術成果獎，2004年獲中國邏輯學會優秀成果獎。