La lógica en la que se basa Maude es la lógica ecuacional de pertenencia.