SMS versenden: Many-valued logics