Equational Logic and Set-Theoretic Models for Multi-Languages