README.md

Equational Logic

(Up) | See also: Logic, Term Rewriting, Universal Algebra

Web resources

Equational Logic -- from Wolfram MathWorld ★

Equational logic - Wikipedia

Algebraic theory - Wikipedia

predicate logic - Give an equational proof \$ \vdash (\forall x)(A \rightarrow B) \equiv ((\exists x) A) \rightarrow B\$ - Mathematics Stack Exchange ★

elementary set theory - Can I deduce one set distributive law from the other? - Mathematics Stack Exchange ★

Robbins algebra - Wikipedia

Formal Verification of Equational Theories

lo.logic - Formal verification of simple equational proofs (as in Universal Algebra...)? - MathOverflow ★

(in Theorem Proving) Robbins Algebras are Boolean ★ 💭

Papers

Equational Logic and Abstract Algebra ★★★ 💭

Equational logic, unification and term rewriting ★★

Field Guide to Equational Logic ★★ 💭

Equational Logic (Course Notes, USC, Spring 2017) ★★ 💭

Euclid's Elements as an Equational Theory ★

Meadows and the Equational Specification of Division ★

Survey of the Equational Programming Project ★ 💭

Programming with Equations ★ 💭

(in Type Theory) Observational Equality, Now! (online @ strictlypositive.org) 💭

Books

Equational Logic as a Programming Language (online @ archive.org) (borrow @ archive.org) ★ 💭

Canonical Equational Proofs (borrow @ archive.org) 💭

(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ archive.org) 💭