Title: Métodos de Tableaux para Lógicas con Declaraciones de Términos, Dominios Preordenados y Operaciones Monótonas