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
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;
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
DOI :
10.1109/ISMVL.1988.5163
