相干與衍推謂詞邏輯
內容簡介
馮棉著的《相干與衍推謂詞邏輯》內容是研究相干與衍推謂詞邏輯,涉及多種相干與衍推謂詞邏輯弱繫統和強繫統的建構,包括公理繫統、自然推理繫統和結構推理繫統,在此基礎上,建構了相干與衍推謂詞邏輯弱繫關繫變域語義,並證明了各種相干與衍推謂詞邏輯弱繫統的可靠性與接近性。全書共分三章十節,書後列出了參考文獻。
馮棉 著
馮棉,華東師範大學終身教授,博士生導師,國務院特殊津貼獲得者,中國邏輯學會副會長,上海市邏輯學會會長,《邏輯學研究》雜志編委,臺灣地區地區大學客座教授(2013)。主要研究領域為“現代邏輯”和“邏輯哲學”。 撰有《經典邏輯與直覺主義邏輯》(上海人民出版社,1989)、《廣義模態邏輯》(華東師大出版社,1990)、《相干與衍推邏輯》(上海人民出版社,1993)、《可能世界與邏輯研究》(華東師大出版社,1996)、《相干邏輯研究》(華東師大出版社,2010)、《結構推理》(廣西師大出版社,2015)等多部專著。參與編寫《哲學大辭典》、《辭海》、......
請選擇顏色、尺碼等選項!
已成功加入購物車!