Switch to: References

Add citations

You must login to add citations.
  1. A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections.Marek Nowak - 2015 - Studia Logica 103 (2):287-301.
    Two examples of Galois connections and their dual forms are considered. One of them is applied to formulate a criterion when a given subset of a complete lattice forms a complete lattice. The second, closely related to the first, is used to prove in a short way the Knaster-Tarski’s fixed point theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark