发表于2024-11-25
多值邏輯的方法和理論 pdf epub mobi txt 電子書 下載 2024
《多值邏輯的方法和理論:非正規多值邏輯研究》簡介:現代邏輯學産生以後,邏輯學走嚮瞭形式化、數學化的道路,除瞭經典邏輯,邏輯學中産生瞭各種非經典邏輯分支,多值邏輯就是其中的重要一支。《多值邏輯的方法和理論:非正規多值邏輯研究》係統介紹瞭多值邏輯的思想來源、各種係統及其語義解釋;闡述瞭各種多值邏輯聯結詞,特彆是無窮值邏輯的各種聯結詞及其構造,分析和整理瞭多值邏輯函數完備性問題的深刻結論;《多值邏輯的方法和理論:非正規多值邏輯研究》還構造瞭一類非正規多值邏輯L*的命題和謂詞係統,並證明瞭其元邏輯性質;介紹瞭與多值邏輯有關的代數係統,另外,對抽象代數邏輯的一些結果給以介紹,這是研究多值邏輯的一個重要方法。
評分
評分
評分
評分
多值邏輯的方法和理論 pdf epub mobi txt 電子書 下載 2024