R-kalkulus, II: Sokértékes logikák

Eredeti címe:

R-Calculus, II: Many-Valued Logics

Könyv tartalma:

A könyvsorozat második kötete azt mutatja be, hogy az R-kalkulus egy monoton és egy nem monoton táblás bizonyítási rendszer kombinációja. Az R-kalkulus egy Gentzen-típusú dedukciós rendszer, amely nem monoton, és egy konkrét hitrevíziós operátor, amelyről bebizonyosodik, hogy kielégíti az AGM-pozitátumokat és a DP-pozitátumokat.

Tárgyalja a táblás bizonyítási rendszerek és az R-kalkulusok algebrai és logikai tulajdonságait a sokértékű logikákban. Ez a könyv az elmélet és a gyakorlat gazdag keverékét kínálja.

Alkalmas a logika területén dolgozó hallgatók, kutatók és gyakorlati szakemberek számára. Emellett nagyon hasznos mindazok számára, akik érdeklődnek az adatok, a digitalizálás és az információ helyessége és konzisztenciája, a modális logikák, a nem monoton logikák, a eldönthető/nem eldönthető logikák, a logikai programozás, a leírási logikák, az alapértelmezett logikák és a szemantikus öröklődési hálózatok iránt.