Skip to content
Scan a barcode
Scan
Paperback R-Calculus, II: Many-Valued Logics Book

ISBN: 9811692963

ISBN13: 9789811692963

R-Calculus, II: Many-Valued Logics

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Paperback

Condition: New

$169.99
50 Available
Ships within 2-3 days

Book Overview

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 and the DP postulates. It discusses the algebraical and logical properties of tableau proof systems and R-calculi in many-valued logics.

This...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured