R-Calculus, II: Many-Valued Logics

Conținutul cărții:

Acest al doilea volum al seriei de cărți arată că R-calculus este o combinație a unui sistem de demonstrație monoton și a unuia non-monoton. R-calculul este un sistem de deducție de tip Gentzen care este non-monoton și este un operator concret de revizuire a credințelor despre care se demonstrează că satisface postulatele AGM și postulatele DP.

Sunt discutate proprietățile algebrice și logice ale sistemelor de demonstrație de tip tablou și ale calculelor R în logici cu multe valori. Această carte oferă un amestec bogat de teorie și practică.

Este potrivită pentru studenți, cercetători și practicieni în domeniul logicii. De asemenea, este foarte utilă pentru toți cei care sunt interesați de date, digitizare și corectitudinea și coerența informațiilor, de logica modală, logica non monotonă, logica decidabilă/undecidabilă, programarea logică, logica descrierii, logica implicită și rețelele de moștenire semantică.