README.md

Algebraic Logic

(Up) | See also: Logic

Web resources

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

logic - What are differences between first order structures and algebraic structures - Mathematics Stack Exchange

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) 🏛️ 💭