DocumentCode
3093225
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
fYear
1991
fDate
26-29 May 1991
Firstpage
248
Lastpage
254
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1991., Proceedings of the Twenty-First International Symposium on
Conference_Location
Victoria, BC
Print_ISBN
0-8186-2145-1
Type
conf
DOI
10.1109/ISMVL.1991.130738
Filename
130738
Link To Document