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

Tree @master (Download .tar.gz)

Equational Logic

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

Web resources

Equational Logic -- from Wolfram MathWorld ★

Equational logic - Wikipedia

Algebraic theory - Wikipedia

Give an equational proof \$ \vdash (\forall x)(A \rightarrow B) \equiv ((\exists x) A) \rightarrow B\$ ★

Can I deduce one set distributive law from the other? ★

Robbins algebra - Wikipedia

Formal verification of simple equational proofs (as in Universal Algebra...)? ★

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 ★ 💭

Second-Order Equational Logic ★ 💭

(in Theorem Proving) Robbins Algebras are Boolean (online @ www.cs.unm.edu) ★ 💭

(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 with print disabilities @ archive.org) 💭

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

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