DocumentCode
2512123
Title
An iterative characterization of post algebras
Author
Reischer, Corina ; Simovici, Dan A.
Author_Institution
Dept. of Math. & Comput. Sci., Quebec Univ., Trois-Rivieres, Que., Canada
fYear
1988
fDate
0-0 1988
Firstpage
124
Lastpage
128
Abstract
A previous iterative characterization of Boolean algebras is extended to Post algebras. Use is made of iterative properties of algebraic functions on certain algebras constructed on the underlying lattice of a Post algebra.<>
Keywords
iterative methods; many-valued logics; algebraic functions; iterative characterization; post algebras; Boolean algebra; Computer science; Lattices; Mathematics; Multivalued logic; Polynomials;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1988., Proceedings of the Eighteenth International Symposium on
Conference_Location
Palma de Mallorca, Spain
Print_ISBN
0-8186-0859-5
Type
conf
DOI
10.1109/ISMVL.1988.5163
Filename
5163
Link To Document