-
反基礎公理的邏輯研究
鎖定
《反基礎公理的邏輯研究》是2016年中國社會科學出版社出版的圖書,作者是李娜。
- 中文名
- 反基礎公理的邏輯研究(國家哲學社會科學成果文庫)
- 別 名
- 國家哲學社會科學成果文庫
- 作 者
- 李娜
- 譯 者
- 馮春鳳
- ISBN
- 9787516176313
- 頁 數
- 291
- 出版社
- 中國社會科學出版社
- 出版時間
- 2016年03月 (1版1次)
- 裝 幀
- 平裝
- 開 本
- 16開
反基礎公理的邏輯研究內容簡介
本書包含三編:
第Ⅰ編:為用圖的方法為刻畫非良基集合論系統ZFC/ AFA(或者SAFA、FAFA以及反基礎公理家族AFA~)建立了三種模型,從而證明各種反基礎公理與ZFC?(=ZFC-FA)的相對協調性。
第Ⅱ編:基於線性方程組和它的解之間的關係,修正、完善和豐富了巴威斯(J.Barwise)等人用代數方法——方程組刻畫的反基礎公理--解引理理論。
反基礎公理的邏輯研究作者簡介
李娜,女,1958年生,河南開封市人。研究方向:現代邏輯。中國邏輯學會會員。1978年至1982年在河南大學數學系學習,獲理學學士學位。1986至1989年在中國科學院軟件研究所學習,獲理學碩士學位。現任南開大學哲學院邏輯教研室教授、博士生導師。主持多項省級或國家級社會科學研究項目;出版《數理邏輯的思想與方法》、《集合論含有原子的自然模型和布爾值模型等學術專著》,發表《GB的布爾值模型》等多篇學術論文;獲得教育部人文社會科學優秀成果二等獎1次、三等獎1次。
[2]
- 參考資料
-
- 1. 反基礎公理的邏輯研究(國家哲學社會科學成果文庫) .京東.2017-02-28[引用日期2017-02-28]
- 2. 反基礎公理的邏輯研究(國家哲學社會科學成果文庫) .社會科學出版社.2017-03-02[引用日期2017-03-02]