定 價:¥59.00
作 者: | 馮棉 |
出版社: | 華東師范大學出版社 |
叢編項: | |
標 簽: | 暫缺 |
ISBN: | 9787567577763 | 出版時間: | 2018-08-01 | 包裝: | 平裝 |
開本: | 16開 | 頁數(shù): | 字數(shù): |
前言
第一章 預備知識
§1.1 從經(jīng)典邏輯談起
§1.2 相干邏輯的發(fā)展動因
§1.3 相干與衍推命題邏輯概述
第二章 相干與衍推謂詞邏輯系統(tǒng)
§2.1 相干與衍推謂詞邏輯公理系統(tǒng)
§2.2 量化內定理與導出規(guī)則
§2.3 相干與衍推謂詞邏輯自然推理系統(tǒng)
§2.4 相干謂詞邏輯結構推理系統(tǒng)及其線性片斷
第三章 三元關系變域語義與**性
§3.1 系統(tǒng)LRQ*的三元關系變域語義
§3.2 理論與“不可推演對”
§3.3 典范框架與**性
參考文獻