[finite-model-theory] Universal Algebraic Logic - Dedicated to the Unity of Science / LUW