Title: Many-Sorted General Algebraic Logic