概述
模態一階邏輯相關信息
模態一階邏輯模態一階邏輯模態一階邏輯相關詞條
-
模態對應理論
《模態對應理論》作者：約翰·範本特姆，由科學出版社於2010年7月1日出版。描述的是：“邏輯之門”是當代世界著名的邏輯學家約翰·範本特姆經典著作的中文翻譯。
內容簡介 作者簡介 目錄 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
模態模型論
模態邏輯的模型論。特別是指量詞模態邏輯即一階模態謂詞邏輯的模型論。如同許多重要的數學概念一樣。關係語義學的提出也並非克里普克一人的功勞。
模態模型論 正文 配圖 相關連線 -
描述邏輯
描述邏輯(DescriptionLogic)是基於對象的知識表示的形式化，它吸取了KL-ONE的主要思想，是一階謂詞邏輯的一個可判定子集。除了知識表示以...
簡介 套用 -
經典邏輯與非經典邏輯基礎
一階謂詞邏輯公理系統 模態命題邏輯系統K 模態命題邏輯系統S4、B、S5
圖書信息 內容簡介 圖書目錄 -
《哲學邏輯研究》
《哲學邏輯研究》是張清宇所著的宗教哲學類作品，2007年1月社會科學文獻出版社出版。本書全面、系統、準確地論述了哲學邏輯領域的重要分支，同時也闡述了作者...
內容簡介 編輯推薦 目錄 -
《哲學邏輯》
《哲學邏輯》可以作為哲學邏輯一般課程的基礎文獻，也可以作為某些研究專題的輔助資源和參考文獻；既定位於一般性讀者，又定位於有經驗的邏輯學家。《哲學邏輯》為...
內容簡介 精彩摘要 -
邏輯語義學研究
邏輯語義學研究--由朱水林編著，英文名Logical Semantics，為上海教育出版社出版發行，共9章，論述了邏輯語義學的基本理論和最新進展，闡述了...
圖書信息 簡介 語義學與邏輯語義學 邏輯語義學屬於語義學 邏輯語義 -
《邏輯語義學研究》
《邏輯語義學研究》的作者是朱水林，1998年8月於上海教育出版社，講解了邏輯語義學的基本理論和最新進展，論述了作為一階邏輯和高階邏輯的歸約的λ-演算與人...
簡介 語義學與邏輯語義學 邏輯語義學屬於語義學 邏輯語義 邏輯系統
