李健，女，1981年9月生，河北石家莊人，山西大學哲學社會學學院講師。
基本介紹
- 中文名：李健
- 國籍：中國
- 民族：漢族
- 出生地：河北石家莊
- 出生日期：1981年9月
- 職業：教師
- 畢業院校：南開大學
- 學位/學歷：博士
- 專業方向：邏輯學
個人資料,主要成果,
個人資料
2004年7月河北師範大學本科畢業，2004年9月至2006年7月石家莊青年幹部管理學院任教；2008年7月南開大學哲學院碩士畢業，2011年7月南開大學哲學院博士畢業，獲哲學博士學位；2012年1月調入山西大學任教。主要從事邏輯的教學與研究工作，研究方向主要為現代邏輯。主持2012年度山西大學人文社科基金項目“模型檢測理論研究”。
主要成果
1. 線性時間邏輯基於表列、自動機、博弈的模型檢測理論研究，博士學位論文，2011年4月
2. 模型檢測理論邏輯研究述評，南開大學學報（哲學社會科學版），2011年增刊
3. 模型檢測思想和方法的演進，哲學動態，2010年10月（後被人大複印資料轉載）
4. 對懷疑論論證結構的邏輯分析，重慶工學院學報，2009年7月，第23卷
5. 與歸納推理相關的兩類博弈活動，畢節學院學報，2009年3月，第27卷第3期
6. Prolog語言——搜尋策略的歸結反演推理機，湖南科技大學學報（社會科學版），2007年10月，第10卷第5期
7. 歸結原理在謂詞演算中的套用，徐州師範大學學報（哲學社會科學版），2007年5月增刊，第33卷
