Algebraic Logic
---------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _Wikipedia: [Algebraic logic](https://en.wikipedia.org/wiki/Algebraic_logic)_ | _See also: [Logic](../Logic/README.md#logic)_

- - - -


### Web resources

[The Algebra of Logic Tradition (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/algebra-logic-tradition/) ★

[What are differences between first order structures and algebraic structures](https://math.stackexchange.com/questions/4630917/what-are-differences-between-first-order-structures-and-algebraic-structures)

[CS 353: Algebraic Logic: Class Notes (Vaughn Pratt)](http://boole.stanford.edu/cs353/handouts.html) ★


### Papers

[Origins of the Calculus of Binary Relations](http://boole.stanford.edu/pub/ocbr.pdf) ★★ [💭](commentary/cpressey.md#origins-of-the-calculus-of-binary-relations)

_(in [Lambda Calculus](../Lambda%20Calculus/README.md#lambda-calculus))_ The Lambda Calculus is Algebraic (online @ [www.mscs.dal.ca](https://www.mscs.dal.ca/~selinger/papers/combinatory.pdf)) ★★★ [💭](commentary/cpressey.md#the-lambda-calculus-is-algebraic)


### Books

Logic as Algebra (borrow @ [archive.org](https://archive.org/details/logicasalgebra0000halm)) ★★★ [💭](commentary/cpressey.md#logic-as-algebra)

An Algebraic Introduction to Mathematical Logic (borrow @ [archive.org](https://archive.org/details/algebraicintrodu00barn_0)) ★ [💭](commentary/cpressey.md#an-algebraic-introduction-to-mathematical-logic)

A Formalization of Set Theory without Variables (borrow @ [archive.org](https://archive.org/details/formalizationofs0000tars_d3r8)) 🏛️ [💭](commentary/cpressey.md#a-formalization-of-set-theory-without-variables)