Opis

• Tytuł:
  A Proof of Tarski’s Fixed Point Theorem by Application of Galois Connections
• Twórca:
  Nowak, Marek
• Współtwórca:
  University of Lodz, Department of Logic;
  marnowak@filozof.uni.lodz.pl
• Opis:
  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
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Uznanie autorstwa 3.0 Polska;
  http://creativecommons.org/licenses/by/3.0/pl
• Data:
  2015.07.27;
  2014.07.11
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Springer Netherlands
• Relacja:
  Studia Logica;Volume 103, Issue 2
• Temat i słowa kluczowe:
  Closure and interior operation;
  Galois connection;
  Fixed point theorem
• Identyfikator:
  1572-8730;
  http://hdl.handle.net/11089/11235 ;
  10.1007/s11225-014-9559-y
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  obrazy