| 書目名稱 | R-Calculus, II: Many-Valued Logics | | 編輯 | Wei Li,Yuefei Sui | | 視頻video | http://file.papertrans.cn/821/820028/820028.mp4 | | 概述 | Discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.Shows R-calculus is a combination of one monotonic tableau proof system and one non-monoto | | 叢書名稱 | Perspectives in Formal Induction, Revision and Evolution | | 圖書封面 |  | | 描述 | .This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.. .This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. Also it is very useful for all those who are interested in data, digitization and correctness and consistency of information, in modal logics, non monotonic logics, decidable/undecidable logics, logic programming, description logics, default logics and semantic inheritance networks.?? . | | 出版日期 | Book 2022 | | 關(guān)鍵詞 | Belief revision; AGM postulates; R-calculus; Gentzen deduction system; Soundness; Completeness; Reachabili | | 版次 | 1 | | doi | https://doi.org/10.1007/978-981-16-9294-9 | | isbn_softcover | 978-981-16-9296-3 | | isbn_ebook | 978-981-16-9294-9Series ISSN 2731-3689 Series E-ISSN 2731-3697 | | issn_series | 2731-3689 | | copyright | Science Press 2022 |
The information of publication is updating
書目名稱R-Calculus, II: Many-Valued Logics影響因子(影響力)
書目名稱R-Calculus, II: Many-Valued Logics影響因子(影響力)學(xué)科排名
書目名稱R-Calculus, II: Many-Valued Logics網(wǎng)絡(luò)公開度
書目名稱R-Calculus, II: Many-Valued Logics網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱R-Calculus, II: Many-Valued Logics被引頻次
書目名稱R-Calculus, II: Many-Valued Logics被引頻次學(xué)科排名
書目名稱R-Calculus, II: Many-Valued Logics年度引用
書目名稱R-Calculus, II: Many-Valued Logics年度引用學(xué)科排名
書目名稱R-Calculus, II: Many-Valued Logics讀者反饋
書目名稱R-Calculus, II: Many-Valued Logics讀者反饋學(xué)科排名
|
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2026-1-20 13:11
發(fā)表于 2025-3-21 16:06:21
