Регистрация | Вход в службу | 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é
  • 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
  • Interpretability of various extensions of arithmetic
    Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827.
    by SV Goryachev
  • 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
  • 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
  • An Introduction to Substructural Logics
    (01 February 2000)
    by Greg Restall
  • Вы можете ссылаться на эту страницу по адресу: 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.