新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

adrian_pigors galois_connection [9 articles]

最近 adrian_pigors さんのライブラリに追加された論文の中から タグ galois_connection. You can also see everyone's galois_connection.
  • Gaggles, Gentzen and Galois: how to display your favourite substructural logic
    Log. J. IGPL, Vol. 6, No. 5. (1998), pp. 669-694.
    by Rajeev Goré
    posted to _copy display_logic _file gaggle galois_connection proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:50:35 as ****
  • Connections and polarities
    (2001), pp. 95-107.
    by Austin Melton
    posted to adjunction _copy galois_connection polarity by adrian_pigors on 2008-02-01 12:38:53 as **
  • Extensions of Galois connections
    Houston J. Math., Vol. 16, No. 2. (1990), pp. 249-254.
    by P Venugopalan
    posted to continuous_lattice _copy galois_connection by adrian_pigors on 2008-01-10 16:46:53 as **
  • The polarity between approximation and distribution
    Vol. 565 (2004), pp. 173-210.
    by Marcel Erné
    posted to closure_system _copy frame_ galois_connection locale by adrian_pigors on 2007-12-12 15:22:02 as **
  • Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
    Vol. 478 (1991), pp. 31-51.
    by Michael J Dunn
    posted to bao _copy gaggle galois_connection kripke residuation by adrian_pigors on 2007-12-12 14:18:44 as **
  • Stone duality for lattices
    Algebra Universalis, Vol. 37, No. 3. (1997), pp. 391-401.
    by C Hartonas, JM Dunn
    posted to _copy duality _file galois_connection lattice representation by adrian_pigors on 2007-12-12 13:27:53 as ***
  • The Galois approach to uniform structures
    Quaest. Math., Vol. 28, No. 3. (2005), pp. 355-373.
    by Maria J Ferreira, Jorge Picado
    posted to _copy _file galois_connection g-ideal quantale by adrian_pigors on 2007-12-04 09:54:15 as ***
  • The structure of Galois connections
    Pacific J. Math., Vol. 54, No. 2. (1974), pp. 209-225.
    by Zahava Shmuely
    posted to _copy _file galois_connection g-ideal g-relation lattice tensor_product by adrian_pigors on 2007-12-04 09:37:03 as ****
  • A primer on Galois connections
    Vol. 704 (1993), pp. 103-125.
    by M Erné, J Koslowski, A Melton, GE Strecker
    posted to adjunction axiality _copy _file galois_connection polarity residuation by adrian_pigors on 2007-10-05 17:02:21 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/adrian_pigors/tag/galois_connection

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.