來源：互聯網
《反基礎公理的邏輯研究》是由李娜撰寫的一本圖書，于2016年由中國社會科學出版社出版。該書研究了反基礎公理的邏輯，但未提供更多相關信息。
內容簡介
本書包含三編：
第Ⅰ編：為用圖的方法為刻畫非良基集合論系統ZFC/ AFA（或者SAFA、FAFA以及反基礎公理家族AFA~）建立了三種模型，從而證明各種反基礎公理與ZFC?（=ZFC-FA）的相對協調性。
第Ⅱ編：基于線性方程組和它的解之間的關系，修正、完善和豐富了巴威斯（J.Barwise）等人用代數方法——方程組刻畫的反基礎公理--解引理理論。
第Ⅲ編：包括兩個附錄。附錄1----給出了結構之間的互摸擬理論。附錄2----給出了項目研究期間發表的部分論文。
作者簡介
李娜，女，1958年生，河南開封市人。研究方向：現代邏輯。中國邏輯學會會員。1978年至1982年在河南大學數學系學習，獲理學學士。1986至1989年在中國科學院軟件研究所學習，獲理學碩士學位。現任南開大學哲學院邏輯教研室教授、博士生導師。主持多項省級或國家級社會科學研究項目；出版《數理邏輯的思想與方法》、《集合論含有原子的自然模型和布爾值模型等學術專著》，發表《GB的布爾值模型》等多篇學術論文；獲得教育部人文社會科學優秀成果二等獎1次、三等獎1次。
參考資料 >