,

R-Calculus, IV: Propositional Logic

Gebonden Engels 2023 9789811986321
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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 logics, propositional modal logic, logic programming, ⇝-propositional logic, semantic networks, and three-valued logic, etc.. Applications of R-calculus in logic of supersequents are also 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:9789811986321
Taal:Engels
Bindwijze:gebonden
Uitgever:Springer Nature Singapore

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

<p>Introduction.-&nbsp;R-calculus for simplified propositional logics.-&nbsp;R-calculi for tableau/Gentzen deduction systems.-&nbsp;R-calculi RQ1Q2/RQ1Q2.-&nbsp;R-calculi RQ1iQ2j/RQ1iQ2j.-&nbsp;R-Calculi: RY1Q1iY2Q2j/RY1Q1iY2Q2j.-&nbsp;R-calculi for supersequents.-&nbsp;R-calculi for propositional logic.</p>

Managementboek Top 100

Rubrieken

Populaire producten

    Personen

      Trefwoorden

        R-Calculus, IV: Propositional Logic