主講課程
在蘭州大學哲學系講授的課程有:《形式邏輯》、《數理邏輯》、《法學概論》和《行政法學》。指導楊利民等數十人的本科畢業論文,指導盛凌振等的碩士論文。獨立完成國家社會科學基金項目1項。出版著作:《邏輯學問答》(甘肅人民出版社會,1985年),《大學邏輯教程》(蘭州大學出版社,1993年),《法律規範邏輯》(甘肅人民出版社,2000年,國家社會科學基金項目)。在《哲學研究》等雜誌和書籍發表邏輯學、法學、法律邏輯學和教學研究論文31篇。
獲獎情況
由於以上教學和科研成果,獲得各種獎項11次,其中,因教學成果獲蘭州大學的“教師教學質量優秀獎”2次,“優秀教育成果二等獎”1次,“優秀教材一等獎”1次。因《傳統邏輯的數學化改造》系列論文,獲甘肅省教委“1979—1989年度哲學、社會科學優秀成果”二等獎1次。獲得甘肅省社會科學最高獎4次:《邏輯學問答》和《法律規範的邏輯演算Qs系統》均獲二等獎;《法律命題邏輯》系列論文和《大學邏輯教程》均獲三等獎。另外在道德人品方面評得蘭州大學“優秀共產黨員”1次,“師德標兵”1次。