equational logic

views updated

equational logic See Birkhoff's completeness theorem.