內容簡介
本書詳述傳遞的瀕表格邏輯的判據及其應用,以及在此基礎上所做的關於瀕表格邏輯的若干研究結果,解決了傳遞邏輯格的瀕表格性的語義判據,以及傳遞邏輯格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題,展示了如何將已有的傳遞的瀕表格邏輯的結果納入本書提出的方法和視野。全書共分為三個部分——序篇、主篇和附錄。序篇介紹了背景知識,回顧了傳遞的瀕表格邏輯的研究發展史;主篇完整敘述了傳遞的瀕表格邏輯的語義判據的證明、應用過程及其他相關的研究結果;附錄給讀者提供了備查的相關知識。
|
|
首頁 | 電影 | 連續劇 | 音樂 | 圖書 | 女裝 | 男裝 | 童裝 | 內衣 | 百貨家居 | 包包 | 女鞋 | 男鞋 | 童鞋 | 計算機周邊 |
![]() | |||
|