臨界的傳遞邏輯 邏輯學思維 邏輯推理 杜珊珊,康宏逵 著 科學出版
市場價:690元 優惠價:580元
立刻節省:110元
《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》詳述傳遞的瀕表格邏輯的判據及其應用,以及在此基礎上所做的關於瀕表格邏輯的若干研究結果,解決了傳遞邏輯格的瀕表格性的語義判據,以及傳遞邏輯格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題,展示了如何將已有的傳遞的瀕表格邏輯的結果納入《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》提出的方法和視野。《臨界的傳遞邏輯——模態邏輯的瀕表格性問題探究》共分為三個部分——序篇、主篇和附錄。序篇介紹了背景知識,回顧了傳遞的瀕表格邏輯的研究發展史;主篇完整敘述了傳遞的瀕表格邏輯的語義判據的證明、應用過程及其他相關的研究結果;附錄給讀者提供了備查的相關知識。
|