Tag

equational logic

1 resource tagged “equational logic” across the knowledge library.

1 item

Guide6 Aug 2026Equational Logic and the Completeness TheoremThe formal system of equational logic, its five inference rules, soundness, and Birkhoff's completeness theorem identifying derivability with semantic consequence.5 min readRead More