Internal Semantics and Algebraic Logic1