Show simple item record

dc.contributor.authorNowak, Marek
dc.description.abstractTwo 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 theorempl_PL
dc.publisherSpringer Netherlandspl_PL
dc.relation.ispartofseriesStudia Logica;Volume 103, Issue 2
dc.rightsUznanie autorstwa 3.0 Polska*
dc.subjectClosure and interior operationpl_PL
dc.subjectGalois connectionpl_PL
dc.subjectFixed point theorempl_PL
dc.titleA Proof of Tarski’s Fixed Point Theorem by Application of Galois Connectionspl_PL
dc.contributor.authorAffiliationUniversity of Lodz, Department of Logicpl_PL
dc.referencesBlyth, T. S., Lattices and Ordered Algebraic Structures, Springer, Berlin, 2005pl_PL
dc.referencesCousot, P., and R. Cousot, Constructive versions of Tarski’s fixed point theorems, Pacific Journal of Mathematics 82:43–57, 1979.pl_PL
dc.referencesDavey, B. A., and H. A., Priestley, Introduction to Lattices and Order, 2nd ed., Cambridge University Press, Cambridge, 2002.pl_PL
dc.referencesK. Denecke, M. Ern´e, and S. L. Wismath (eds.), Galois Connections and Applications, Kluwer, Dordrecht, 2004pl_PL
dc.referencesDomenach, F., and B. Leclerc, Biclosed binary relations and Galois connections, Order 18:89–104, 2001.pl_PL
dc.referencesEchenique, F., A short and constructive proof of Tarski’s fixed-point theorem, International Journal of Game Theory 33:215–218, 2005.pl_PL
dc.referencesErn´e, M., J. Koslowski, A. Melton, and G. E. Strecker, A Primer on Galois Connections, Annals of the New York Academy of Sciences 704:103–125, 1993.pl_PL
dc.referencesErn´e, M., B. ˇSeˇseljar, andA. Tepavˇcevi´c, Posets generated by irreducible elements Order 20:79–89, 2003pl_PL
dc.referencesNowak, M., On some application of residuated mappings, Bulletin of the Section of Logic 42:53–68, 2013.pl_PL
dc.referencesTarski, A., A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics 5:285–309, 1955.pl_PL

Files in this item


This item appears in the following Collection(s)

Show simple item record

Uznanie autorstwa 3.0 Polska
Except where otherwise noted, this item's license is described as Uznanie autorstwa 3.0 Polska