Algebraic Semantics

The practice of representing a logical system by algebraic structures in which logical connectives, inference rules, and consequence correspond to algebraic operations, equations, or order relations, so semantic entailment is captured by algebraic identities or inequalities.