Algebraic logic

branch of algebra abstracting logical operations

bounded lattice that models intuitionistic propositional logic

concept in Boolean algebra

reasoning about equations with free variables

idempotent semiring endowed with a closure operator

algebra of the operations on a logical theory up to equivalence

mathematical operation