Регистрация | Вход в службу | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

adrian_pigors proof_theory [17 articles]

Recent papers added to adrian_pigors library classified by the tag proof_theory. You can also see everyone's proof_theory.
  • 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 ****
  • Displaying and deciding substructural logics. I. Logics with contraposition
    J. Philos. Logic, Vol. 27, No. 2. (1998), pp. 179-216.
    by Greg Restall
    posted to display_logic _file frame proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:21:03 as **
  • Display logic and gaggle theory
    Rep. Math. Logic, No. 29. (1995), pp. 133-146 (1996).
    by Greg Restall
    posted to _copy display_logic _file frame gaggle proof_theory substructural_logics by adrian_pigors on 2008-07-02 09:50:29 as ***
  • Interpretability of various extensions of arithmetic
    Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827.
    by SV Goryachev
    posted to arithmetic consistency _copy _dipl _file interpretability proof_theory reflection by adrian_pigors on 2008-04-30 10:00:19 as read
  • Ordinal arithmetic in $ IΔ\sb 0$
    Vol. 23 (1993), pp. 320-363.
    by Richard Sommer
    posted to arithmetic _copy _dipl ordinal proof_theory by adrian_pigors on 2008-04-30 09:52:07 as read
  • On a number theoretic choice schema and its relation to induction
    (1970), pp. 459-473.
    by Charles Parsons
    posted to arithmetic _copy _dipl proof_theory by adrian_pigors on 2008-04-30 09:48:32 as read
  • On $n$-quantifier induction
    J. Symbolic Logic, Vol. 37 (1972), pp. 466-482.
    by Charles Parsons
    posted to arithmetic _copy _dipl _file proof_theory by adrian_pigors on 2008-04-30 09:42:59 as read
  • Fragments of arithmetic
    Ann. Pure Appl. Logic, Vol. 28, No. 1. (1985), pp. 33-71.
    by Wilfried Sieg
    posted to arithmetic _copy _dipl pra proof_theory by adrian_pigors on 2008-04-30 09:37:26 as read
  • Interpretability in reflexive theories---a survey
    Theoria, Vol. 63, No. 3. (1997), pp. 182-209.
    by Per Lindström
    posted to consistency _copy _dipl interpretability logic proof_theory provability self-reference by adrian_pigors on 2008-04-29 10:48:27 as read
  • Reflection using the derivability conditions
    Vol. 180 (1996), pp. 603-616.
    by Sean Matthews, Alex K Simpson
    posted to arithmetic _copy _file proof_theory reflection by adrian_pigors on 2008-04-29 10:39:08 as read
  • Reflection principles and their use for establishing the complexity of axiomatic systems
    Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 97-142.
    by G Kreisel, A Lévy
    posted to consistency _copy _dipl _file proof_theory reflection by adrian_pigors on 2008-04-29 10:32:17 as read
  • PRA provability of Schmerl's fine structure theorem
    Rend. Sem. Mat. Univ. Politec. Torino, Vol. 42, No. 2. (1984), pp. 87-106 (1985).
    by Franco Parlamento
    posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:21:57 as read
  • A fine structure generated by reflection formulas over primitive recursive arithmetic
    Vol. 97 (1979), pp. 335-350.
    by Ulf R Schmerl
    posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:15:13 as read
  • On the no-counterexample interpretation
    J. Symbolic Logic, Vol. 64, No. 4. (1999), pp. 1491-1511.
    by Ulrich Kohlenbach
    posted to _copy _file proof_theory by adrian_pigors on 2008-02-22 12:21:59 as **
  • Logics for termination and correctness of functional programs. II. Logics of strength PRA
    (1992), pp. 195-225.
    by Solomon Feferman
    posted to _copy pra proof_theory by adrian_pigors on 2008-02-22 12:01:24 as **
  • Proof-theoretic methods in nonclassical logic---an introduction
    Vol. 2 (1998), pp. 207-254.
    by Hiroakira Ono
    posted to _copy cut_elimination _file logic proof_theory substructural_logics by adrian_pigors on 2007-12-13 09:54:38 as ***
  • An Introduction to Substructural Logics
    (01 February 2000)
    by Greg Restall
    posted to _bib frame kripke logic proof_theory semantics substructural_logics by adrian_pigors on 2007-09-20 12:49:51 as *****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/adrian_pigors/tag/proof_theory

    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.