Ratings by cpressey of Equational Logic works

Equational Logic as a Programming Language

• rating: 1

Canonical Equational Proofs

• rating: 0

Equational Logic and Abstract Algebra

• rating: 3

Equational logic, unification and term rewriting

• rating: 2

Field Guide to Equational Logic

• rating: 2

Equational Logic (Course Notes, USC, Spring 2017)

• rating: 2

Euclid's Elements as an Equational Theory

• rating: 1

Meadows and the Equational Specification of Division

• rating: 1

Survey of the Equational Programming Project

• rating: 1

Programming with Equations

• rating: 1

Equational Logic -- from Wolfram MathWorld

• rating: 1

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

• rating: 1

Can I deduce one set distributive law from the other?

• rating: 1

Robbins algebra - Wikipedia

• rating: 1

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

• rating: 1