幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

相干與衍推謂詞邏輯

  • 作者：馮棉
  • 出版社：華東師大
  • ISBN：9787567577763
  • 出版日期：2018/07/01
  • 裝幀：平裝
  • 頁數：216
人民幣：RMB 59 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    馮棉著的《相干與衍推謂詞邏輯》內容是研究相干與衍推謂詞邏輯，涉及多種相干與衍推謂詞邏輯弱系統和強系統的建構，包括公理系統、自然推理系統和結構推理系統，在此基礎上，建構了相干與衍推謂詞邏輯弱系統的三元關係變域語義，並證明了各種相干與衍推謂詞邏輯弱系統的可靠性與完全性。全書共分三章十節，書後列出了參考文獻。
作者介紹
馮棉
    馮棉，華東師範大學終身教授，博士生導師，哲學系邏輯室主任，邏輯學博士點負責人，國務院特殊津貼獲得者，中國邏輯學會副會長，上海市邏輯學會會長，《邏輯學研究》雜誌編委，台灣大學客座教授(2013)。     撰有專著《經典邏輯與直覺主義邏輯》、《廣義模態邏輯》、《哲學邏輯與邏輯哲學》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫《哲學大辭典》、《電腦科學技術百科全書》、《辭海》、《外國哲學大辭典》、《邏輯學大辭典》(副主編)、《大辭海》等辭書和《邏輯學導論》等多部教材。     先後承擔多項國家和教育部基金項目，著作和論文獲教育部「高等學校科學研究優秀成果獎」、上海市哲學社會科學優秀學術成果獎和「金岳霖學術獎」。主要研究領域為「現代邏輯」和「邏輯哲學」。
目錄
前言
第一章  預備知識
  §1.1  從經典邏輯談起
  §1.2  相干邏輯的發展動因
  §1.3  相干與衍推命題邏輯概述
第二章  相干與衍推謂詞邏輯系統
  §2.1  相干與衍推謂詞邏輯公理系統
  §2.2  量化內定理與導出規則
  §2.3  相干與衍推謂詞邏輯自然推理系統
  §2.4  相干謂詞邏輯結構推理系統及其線性片斷
第三章  三元關係變域語義與完全性
  §3.1  系統LRQ*的三元關係變域語義
  §3.2  理論與「不可推演對」
  §3.3  典範框架與完全性
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司 臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032