內容簡介
本書繫統地介紹計量邏輯學與粗糙邏輯中的近似推理,主要是作者近幾年研究工作的總結,同時也介紹了靠前外學者在相關領域的近期新研究成果:全書共6章,涉及互相關聯的4個部分的內容:基礎知識(包括計量邏輯學的基本理論與方法,粗糙邏輯的研究進展);命題邏輯(經典命題邏輯與多值命題邏輯)中理論邏輯性質的拓撲性態研究,L-模糊粗糙集的公理化刻畫,基於粗糙邏輯的近似推理等。
●第1章預備知識
●1.1幾種命題邏輯繫統
●1.1.1經典命題邏輯L
●1.1.2Lukasiewicz多值命題邏輯Luk與Luk(n)
●1.1.3模糊命題邏輯L*與多值命題邏輯Ln*
●1.2計量邏輯
●1.2.1二值命題邏輯繫統L中的計量邏輯理論
●1.2.2多值Lukasiewicz命題邏輯Luk(n)中的計量邏輯理論
●第2章命題邏輯繫統中邏輯理論性態的拓撲刻畫
●2.1經典命題邏輯中理論的發散性、相容性及其拓撲刻畫
●2.1.1經典命題邏輯中理論發散性的拓撲刻畫
●2.1.2經典命題邏輯中理論相容性的拓撲刻畫
●2.1.3經典命題邏輯中理論的邏輯閉性與拓撲閉性之間的關繫
●2.1.4邏輯度量空間(F(S),p)的結構
●2.2L3*中理論邏輯性態的拓撲刻畫
●2.2.1L3*中理論相容性的拓撲刻畫
●2.2.2L3*中理論發散性的拓撲刻畫
●2.2.3L3*中理論的邏輯閉性與拓撲閉性之間的關繫
●2.3命題邏輯繫統Luk(n)中理論邏輯性態的拓撲刻畫
●2.3.1命題邏輯繫統Luk(n)中理論相容性的拓撲刻畫......