Enviar Registro por Correo electrónico: Completeness theory for propositional logics /