R-calculus. II, Many-valued logics

R-calculus. II, Many-valued logics / Wei Li, Yuefei Sui.

This second volume of the book series shows R-calculus is a combination of one monotonic tableau proof system and one non-monotonic one. The R-calculus is a Gentzen-type deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates...

Full description

Saved in:
Bibliographic Details
Main Authors: Li, Wei, 1943 June- (Author), Sui, Yuefei (Author)
Format: eBook
Language:English
Published: Singapore : Springer, 2022.
Series:Perspectives in Formal Induction, Revision and Evolution Ser.
Subjects:
Calculus.
Logic, Symbolic and mathematical.
calculus.
Calculus
Logic, Symbolic and mathematical
Online Access:Click for online access
Login for hold information

‌

Click for online access

Online

Holdings details from Online
Status: Available

Similar Items