Recent developments of feedback coding, and its relations with many-valued logic