Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics
Táto monografia predstavuje všeobecnú teóriu slabo implikatívnych logík, rodiny pokrývajúcej veľké množstvo neklasických logík študovaných v literatúre, pričom sa zameriava najmä na abstraktné štúdium vzťahu medzi logikami a ich algebraickou sémantikou. Môže slúžiť aj ako úvod do (abstraktnej) algebraickej logiky, výrokovej aj prvého rádu, pričom osobitná pozornosť sa venuje úlohe implikácie, mriežkových a reziduálnych konektorov a zovšeobecnených disjunkcií.
Na základe svojej nedávnej práce autori rozvíjajú silný jednotný rámec pre štúdium neklasických logík. Samostatným a didaktickým štýlom, vychádzajúc z veľmi elementárnych pojmov, budujú všeobecnú teóriu so značným počtom abstraktných výsledkov.
Teóriu potom aplikujú na získanie početných výsledkov pre významné rodiny logík a ich algebraické náprotivky, najmä pre superintuicionistické, modálne, subštrukturálne, fuzzy a relevantné logiky. Kniha môže byť zaujímavá pre široké publikum, najmä pre študentov a vedcov z oblasti matematiky, filozofie, informatiky alebo príbuzných oblastí, ktorí hľadajú úvod do všeobecnej teórie neklasických logík a ich algebraickej sémantiky.
