Pokaż uproszczony rekord

dc.contributor.authorNowak, Marek
dc.date.accessioned2015-07-27T12:27:00Z
dc.date.available2015-07-27T12:27:00Z
dc.date.issued2014-07-11
dc.identifier.issn1572-8730
dc.identifier.urihttp://hdl.handle.net/11089/11235
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.language.isoenpl_PL
dc.publisherSpringer Netherlandspl_PL
dc.relation.ispartofseriesStudia Logica;Volume 103, Issue 2
dc.rightsUznanie autorstwa 3.0 Polska*
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/pl/*
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.typeArticlepl_PL
dc.page.number287-301pl_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
dc.contributor.authorEmailmarnowak@filozof.uni.lodz.plpl_PL
dc.identifier.doi10.1007/s11225-014-9559-y


Pliki tej pozycji

Thumbnail
Thumbnail

Pozycja umieszczona jest w następujących kolekcjach

Pokaż uproszczony rekord

Uznanie autorstwa 3.0 Polska
Poza zaznaczonymi wyjątkami, licencja tej pozycji opisana jest jako Uznanie autorstwa 3.0 Polska