Title :
Theory and uses of Post algebras of order ω+ω*. II
Author :
Epstein, George ; Rasiowa, Helena
Author_Institution :
Dept. of Comput. Sci., North Carolina Univ., Charlotte, NC, USA
Abstract :
For pt.I see Proc. 20th 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 ω+ω whose chain of constants is isomorphic with (0⩽1⩽2⩽. . .⩽-3⩽-2⩽-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
Keywords :
algebra; formal logic; Post algebras; finite order; infinite orders; Boolean algebra; Lattices; Mathematics;
Conference_Titel :
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location :
Victoria, BC
Print_ISBN :
0-8186-2145-1
DOI :
10.1109/ISMVL.1991.130738
