CONSTRUCTIVE PROOF OF FIXED-POINT THEOREM FOR COMPLETE T-LATTICE
In this work, we give constrictive proofs of two theorems of the fixed points. One of these two theorems generalizes Tarski’s theorem for complete lattices in the univocal case and the other one generalizes Zhou’s extension of Tarski’s fixed-point theorem in the multivalued case.
fixed-point theorem, complete T-lattice.
