registrieren | anmelden | FAQ      [?] 

Tag heyting-categories [2 articles]

Recent papers classified by the tag heyting-categories.
  • Gaps And Dualities In Heyting Categories
    by Ne S Ril
    posted to heyting-categories by Scis0000002 on 2007-08-04 14:18:01 as **
  • A Modular Reduction of Regular Logic to Classical Logic
    (2001), pp. 221-226.
    by Ramon Bejar, Reiner Hahnle, Felip Manya
    posted to boolean-categories classical-logic heyting-categories intuitionistic-logic reduction regular-categories regular-logic by Scis0000002 on 2007-08-04 09:43:25 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/heyting-categories

    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.