R-Calculus, III: Post Three-Valued Logic
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/multisequ...
Saved in:
| Main Authors: | , |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2022.
|
| Edition: | 1st ed. 2022. |
| Series: | Perspectives in Formal Induction, Revision and Evolution.
|
| Subjects: | |
| Online Access: | Full text (Wentworth users only) |