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 (0>or=1>or=2>or=. . .>or=-3>or=-2>or=-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.