集合論含有原子的自然模型和布林值模型

集合論含有原子的自然模型和布林值模型

作者 李娜(著)
DOI / ISBN-A:10.6140/AP.9789865792602
ISBN 9789865792602
出版機構 華藝學術出版社(AiritiPress)
出版年 2014
電子書
紙本書
(暫無資料)
集合論含有原子的自然模型和布林值模型》在含有原子的公理集合論系統的基礎上,力圖建立兩大類模型——自然模型和布林值模型。不僅從理論上豐富了數理邏輯的重要分支——公理集合論的刻畫集論模型的理論,為現代邏輯的研究提供證明根據,而且也促進了現代數理邏輯與哲學邏輯之間的相互滲透、相互融合,從而為描述和模擬人類思維提供指導,為哲學應用提供更可靠的工具,對於邏輯學研究的多元化具有重要的理論意義和現實意義。