Theory and uses of Post algebras of order omega + omega *. II

摘要

For pt.I see Proc. 20/sup th/ International Symposium on Multiple-Valued Logic ISMVL 1990 p42-47. The paper is a continuation of the author's previous work that presents a stronger version of post algebras of order omega + omega whose chain of constants is isomorphic with (0or=1or=2or=. . .or=-3or=-2or=-1). The algebras are a generalization of Post algebras of finite order, and preserve more of their properties than any other generalizations of infinite orders.