Enviar por SMS: Sistemas dedutivos para Lógica Quântica Minimal