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 postu…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-4270-9
- Collation
- xii, 273p.: Ill.
- Series Title
- Perspectives in Formal Induction, Revision and Evolution
- Call Number
- 006.332 Li r
Search Result
Found 1 from your keywords: Author : "Sui, Yuefei"
Query took 0.00053 second(s) to complete
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography