| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
R-Calculus, II: Many-Valued Logics(Hardback)
Published:
13/04/2022
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, log...
|
In Stock:
None
| List Price:
|
£119.99 |
|
Our Price:
£104.99
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
2.
|
|
|
R-CALCULUS: A Logic of Belief Revision(Paperback / softback)
Published:
03/11/2022
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subform...
|
In Stock:
None
| List Price:
|
£89.99 |
|
Our Price:
£78.74
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
3.
|
|
|
R-Calculus, III: Post Three-Valued Logic(Hardback)
Published:
20/11/2022
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 postul...
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
4.
|
|
|
R-Calculus, II: Many-Valued Logics(Paperback / softback)
Published:
15/04/2023
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, log...
|
In Stock:
None
| List Price:
|
£129.99 |
|
Our Price:
£113.74
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
5.
|
|
|
R-Calculus, IV: Propositional Logic(Hardback)
Published:
29/03/2023
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 log...
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
6.
|
|
|
R-Calculus, III: Post Three-Valued Logic(Paperback / softback)
Published:
21/11/2023
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 postul...
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
Availability:
Temporarily Out of Stock
|
|
|
|
|
|
7.
|
|
|
R-Calculus, IV: Propositional Logic(Paperback / softback)
Published:
30/03/2024
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 log...
|
In Stock:
None
| List Price:
|
£149.99 |
|
Our Price:
£131.24
|
|
|
|
|
|
|
|
8.
|
|
|
R-CALCULUS: A Logic of Belief Revision(Hardback)
Published:
02/11/2021
It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subform...
|
|
|
Select All |
|
|
|