內容簡介
本書是我國學術界*部關於集合論、餘代數與模態邏輯交叉研究的著作。首先,以非良基集合為語義結構對模態邏輯進行解釋,研究模態邏輯在集合論語義下的對應理論、可定義性及表達力等問題,取得了一些新的研究成果,豐富了集合論理論和邏輯理論。其次,把餘代數看做非良基集合的抽像數學模型,它作為對關繫語義學的推廣,著重研究餘代數模態邏輯。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|