Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Teória logických dôsledkov je ústredným prvkom modernej logiky a jej aplikácií. Väčšinou je však rozptýlená v množstve často ťažko prístupných prác a len zriedkavo je spracovaná s ohľadom na aplikácie.
Táto kniha zhromažďuje najzákladnejšie aspekty tejto teórie a ponúka čitateľovi základy jej aplikácií v informatike, umelej inteligencii a kognitívnej vede, aby sme vymenovali aspoň tie najdôležitejšie oblasti, v ktorých tento pojem nachádza svoje početné uplatnenie. Rozoberá sa deduktívny aj nededuktívny dôsledok. Východiskom je klasický deduktívny dôsledok: referenčným systémom je klasická logika a neklasické deduktívne systémy sa považujú za jej rozšírenia, odchýlky alebo variácie.
Diskusia o neklasických deduktívnych dôsledkoch sa zameriava na mnohohodnotové, intuicionistické, modálne, parakonzistentné a subštrukturálne logické dôsledky. Téma nededuktívneho vyplývania je rozpracovaná z hľadiska abduktívnej, induktívnej a pravdepodobnostnej logiky.
Celkovo sa tu rozoberajú hlavné súčasné (triedy) logických systémov. Prístup je v podstate matematický a matematické pozadie, založené najmä na poriadkových vzťahoch, je spracované dôkladne a prístupne aj pre nematematikov.
