Algebra, Logic and Applications