R-Calculus, IV: Propositional Logic
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...
-д хадгалсан:
| Үндсэн зохиолчид: | , |
|---|---|
| Байгууллагын зохиогч: | |
| Формат: | Цахим Цахим ном |
| Хэл сонгох: | англи |
| Хэвлэсэн: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2023.
|
| Хэвлэл: | 1st ed. 2023. |
| Цуврал: | Perspectives in Formal Induction, Revision and Evolution,
|
| Нөхцлүүд: | |
| Онлайн хандалт: | https://doi.org/10.1007/978-981-19-8633-8 |
| Шошгууд: |
Шошго нэмэх
Шошго байхгүй, Энэхүү баримтыг шошголох эхний хүн болох!
|
Агуулга:
- 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.