Equational Logic

Equational Logic -- from Wolfram MathWorld

• url: https://mathworld.wolfram.com/EquationalLogic.html

.

Equational logic - Wikipedia

• url: https://en.wikipedia.org/wiki/Equational_logic

.

Algebraic theory - Wikipedia

• url: https://en.wikipedia.org/wiki/Algebraic_theory

.

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

• url: https://math.stackexchange.com/questions/751922/give-an-equational-proof-vdash-forall-xa-rightarrow-b-equiv-exists

.

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

• url: https://math.stackexchange.com/questions/4757220/can-i-deduce-one-set-distributive-law-from-the-other

.

Robbins algebra - Wikipedia

• url: https://en.wikipedia.org/wiki/Robbins_algebra

.

Formal Verification of Equational Theories

• is-heading: true

.

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

• url: https://mathoverflow.net/questions/71265/formal-verification-of-simple-equational-proofs-as-in-universal-algebra

.