發送短信 : Generalized Post algebras and their application to some infinitary many-valued logics /