Algebraic Methods in Philosophical Logic
Tento komplexný text ukazuje, ako možno na rôzne pojmy logiky nazerať ako na pojmy univerzálnej algebry.
Je určený predovšetkým logistikom z oblasti matematiky, filozofie, informatiky a lingvistiky so záujmom o algebraickú logiku, ale je prístupný aj tým, ktorí nemajú logické vzdelanie. Predpokladom textu je, že štandardné algebraické výsledky (reprezentácie) sa premietajú do štandardných logických výsledkov (úplnosť), a identifikuje triedy algebier vhodné na štúdium klasickej a neklasickej logiky, vrátane: gagglov, distributoidov, parciálnych gagglov a tonoidov.
Diskutuje sa aj myšlienka, že logika je v podstate založená na informáciách, pričom jej hlavnými prvkami sú propozície, ktoré možno chápať ako množiny informačných stavov. Logika sa posudzuje v rôznych významoch, ako sú systémy tvrdení, vzťahy dôsledkov a symetrické vzťahy dôsledkov.
