algebraic logic
reasoning about equations with free variables
Categorical logic
branch of category theory within mathematics, adjacent to mathematical logic but more notable for its connections to theoretical computer science.
quantum logic
theory of logic based on the orthocomplemented lattice of closed subspaces of a separable Hilbert space, regarded as the lattice of quantum propositions