SMS: Many-valued logics