R-Calculus, II: Logiche a molte valenze

Titolo originale:

R-Calculus, II: Many-Valued Logics

Contenuto del libro:

Questo secondo volume della serie di libri mostra che il calcolo R è una combinazione di un sistema di prova tableau monotonico e uno non monotonico. L'R-calcolo è un sistema di deduzione di tipo Gentzen non monotonico e un operatore concreto di revisione delle credenze che soddisfa i postulati AGM e DP.

Il libro discute le proprietà algebriche e logiche dei sistemi di dimostrazione tableau e dei calcoli R nelle logiche a molti valori. Questo libro offre una ricca miscela di teoria e pratica.

È adatto a studenti, ricercatori e professionisti nel campo della logica. È inoltre molto utile per tutti coloro che sono interessati ai dati, alla digitalizzazione, alla correttezza e alla coerenza delle informazioni, alle logiche modali, alle logiche non monotone, alle logiche decidibili/undecidibili, alla programmazione logica, alle logiche di descrizione, alle logiche di default e alle reti di ereditarietà semantica.