git @ Cat's Eye Technologies The-Glosscubator / master by-topic / Algebraic Logic
master

Tree @master (Download .tar.gz)

Algebraic Logic

(Up) | Wikipedia: Algebraic logic | See also: Logic, Abstract Algebra

Works regarding the subject of algebraic logic, that is, treating logical systems as abstract algebraic structures, with algebraic properties.

Web resources

The Algebra of Logic Tradition (Stanford Encyclopedia of Philosophy) ★

What are differences between first order structures and algebraic structures

CS 353: Algebraic Logic: Class Notes (Vaughn Pratt) ★

Papers

Origins of the Calculus of Binary Relations ★★ 💭

(in Lambda Calculus) The Lambda Calculus is Algebraic (online @ www.mscs.dal.ca) ★★★ 💭

Books

Logic as Algebra (borrow @ archive.org) ★★★ 💭

An Algebraic Introduction to Mathematical Logic (borrow @ archive.org) ★ 💭

A Formalization of Set Theory without Variables (borrow @ archive.org) 🏛️ 💭

History of by-topic / Algebraic Logic @master git clone https://git.catseye.tc/The-Glosscubator/