,

R-Calculus, III: Post Three-Valued Logic

Paperback Engels 2023 9789811942723
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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/multisequent-based to preserve the satisfiability of the Theory/sequent/multisequent to revise, or sequent-based, to preserve the satisfiability of the sequent to revise. The R-calculi for Post and three-valued logic is given. 

This book offers a rich blend of theory and practice. It is suitable for students, researchers and practitioners in the field of logic. 

Specificaties

ISBN13:9789811942723
Taal:Engels
Bindwijze:paperback
Uitgever:Springer Nature Singapore

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

<div><p>Introduction.- Many-Placed Sequents.- Modalized Three-Valued Logics.- Post three-valued logic.- R-Calculi for Post Three-valued logic.- Post Three-valued description logic.- R-calculi for Post three-valued description logic.- R-calculi for corner multisequents.- General multisequents.- R-calculi for general multisequents.</p><br></div>

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        R-Calculus, III: Post Three-Valued Logic