| 书目名称 | R-Calculus, III: Post Three-Valued Logic | | 编辑 | Wei Li,Yuefei Sui | | 视频video | | | 概述 | Discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.Gives the R-calculi for propositional logic, description logics, propositional modal logic | | 丛书名称 | Perspectives in Formal Induction, Revision and Evolution | | 图书封面 |  | | 描述 | .This third volume of the book series shows R-calculus is a Gentzen-typed 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. In this book, R-calculus is taken as Tableau-based/sequent-based/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. . .This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. . | | 出版日期 | Book 2022 | | 关键词 | Belief revision; AGM postulates; R-calculus; Gentzen deduction system; Soundness; Completeness; three-valu | | 版次 | 1 | | doi | https://doi.org/10.1007/978-981-19-4270-9 | | isbn_softcover | 978-981-19-4272-3 | | isbn_ebook | 978-981-19-4270-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, III: Post Three-Valued Logic影响因子(影响力)
书目名称R-Calculus, III: Post Three-Valued Logic影响因子(影响力)学科排名
书目名称R-Calculus, III: Post Three-Valued Logic网络公开度
书目名称R-Calculus, III: Post Three-Valued Logic网络公开度学科排名
书目名称R-Calculus, III: Post Three-Valued Logic被引频次
书目名称R-Calculus, III: Post Three-Valued Logic被引频次学科排名
书目名称R-Calculus, III: Post Three-Valued Logic年度引用
书目名称R-Calculus, III: Post Three-Valued Logic年度引用学科排名
书目名称R-Calculus, III: Post Three-Valued Logic读者反馈
书目名称R-Calculus, III: Post Three-Valued Logic读者反馈学科排名
|
|
|
发表于 2025-3-21 17:44:59
