registrieren | anmelden | FAQ      [?] 

Tag classical-logic [5 articles]

Recent papers classified by the tag classical-logic.
  • Arithmetical Proofs of Strong Normalization Results for Symmetric $λ$-calculi
    Fundam. Inf., Vol. 77, No. 4. (December 2007), pp. 489-510.
    by René David, Karim Nour
    posted to lambda-calculus classical-logic lambda-mu copy by yoriyuki on 2008-06-06 08:57:32 as **
  • Naming proofs in classical propositional logic
    (2005)
    by F Lamarche, L Straburger
    posted to proof-theoretical-semantics copy classical-logic by yoriyuki on 2008-07-18 08:52:19 as **
  • Disjunctive Normal Forms and Local Exceptions
    (2003)
    by Emmanuel Beffara, Vincent Danos
    posted to control-operator classical-logic copy by yoriyuki on 2008-06-06 09:03:42 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 **
  • Computability Logic: a formal theory of interaction
    (10 Dec 2004)
    by Giorgi Japaridze
    posted to abstract-state-machines adaptability aixi all-logical-theories behavior chu-space classical-logic computability computability-logic computational-epistemology dynamics formal-theory iff interaction interactivity interference intuitionistic-logic linear-logic logic relativity by scis0000001 on 2006-09-19 16:36:44 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/classical-logic

    RIS BibTeX RSS
    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.