均衡逻辑

equational logic