R-Calculus, II: Many-Valued Logics
Ten drugi tom serii książek pokazuje, że R-kalkulus jest połączeniem jednego monotonicznego systemu dowodowego tableau i jednego niemonotonicznego. R-kalkulus jest systemem dedukcyjnym typu Gentzena, który jest niemonotoniczny i jest konkretnym operatorem rewizji przekonań, który, jak udowodniono, spełnia postulaty AGM i postulaty DP.
Książka omawia algebraiczne i logiczne własności systemów dowodowych tableau i R-kalkulatorów w logikach wielowartościowych. Książka ta oferuje bogate połączenie teorii i praktyki.
Jest odpowiednia dla studentów, badaczy i praktyków w dziedzinie logiki. Jest również bardzo przydatna dla wszystkich zainteresowanych danymi, cyfryzacją oraz poprawnością i spójnością informacji, logikami modalnymi, logikami niemonotonicznymi, logikami rozstrzygalnymi/nierozstrzygalnymi, programowaniem logicznym, logikami opisu, logikami domyślnymi i semantycznymi sieciami dziedziczenia.
