R-Calculus, II: Many-Valued Logics
Tento druhý diel série kníh ukazuje, že R-kalkul je kombináciou jedného monotónneho tabuľkového dôkazového systému a jedného nemonotónneho. R-kalkulus je dedukčný systém Gentzenovho typu, ktorý je nemonotónny a je konkrétnym operátorom revízie presvedčení, ktorý, ako je dokázané, spĺňa postuláty AGM a postuláty DP.
Rozoberá algebraické a logické vlastnosti tabuľkových dôkazových systémov a R-kalkuúl v mnohohodnotových logikách. Táto kniha ponúka bohatú zmes teórie a praxe.
Je vhodná pre študentov, výskumníkov a praktikov v oblasti logiky. Taktiež je veľmi užitočná pre všetkých, ktorí sa zaujímajú o dáta, digitalizáciu a korektnosť a konzistenciu informácií, o modálne logiky, nemonotónne logiky, rozhodnuteľné/nerozhodnuteľné logiky, logické programovanie, logiky popisu, defaultné logiky a sémantické siete dedičnosti.
