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

Works regarding the subject of equational logic, that is, logical systems based on the properties of equivalence relations (reflexivity, symmetry, transitivity) and the rule of "replacing equals with equals".

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/