R-Calculus, IV: Propositional Logic [E-Book] / by Wei Li, Yuefei Sui.
This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for propositional logic, description logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three...
Saved in:
Full text |
|
Personal Name(s): | Li, Wei, author |
Sui, Yuefei, author | |
Edition: |
1st edition 2023. |
Imprint: |
Singapore :
Springer,
2023
|
Physical Description: |
XIII, 252 pages 2 illustrations, 1 illustration in color (online resource) |
Note: |
englisch |
ISBN: |
9789811986338 |
DOI: |
10.1007/978-981-19-8633-8 |
Series Title: |
/* Depending on the record driver, $field may either be an array with
"name" and "number" keys or a flat string containing only the series
name. We should account for both cases to maximize compatibility. */?>
Perspectives in Formal Induction, Revision and Evolution
|
Subject (LOC): |
- Introduction
- R-calculus for simplified propositional logics
- R-calculi for tableau/Gentzen deduction systems
- R-calculi RQ1Q2/RQ1Q2
- R-calculi RQ1iQ2j/RQ1iQ2j
- R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j
- R-calculi for supersequents
- R-calculi for propositional logic.