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

adrian_pigors _copy [161 articles]

Recent papers added to adrian_pigors library classified by the tag _copy. You can also see everyone's _copy.
  • Remarks on finitism
    Vol. 15 (2002), pp. 410-419.
    by WW Tait
    posted to _copy dipl _file finitism pra by adrian_pigors on 2008-08-12 11:26:33 as read
  • Relational representation theorems for general lattices with negations
    Vol. 4136 (2006), pp. 162-176.
    by Wojciech Dzik, Ewa Orlowska, Clint van Alten
    posted to _copy _file frame lattice logic negation representation semantics by adrian_pigors on 2008-07-02 11:23:48 as **
  • Simulating without negation
    J. Logic Comput., Vol. 7, No. 4. (1997), pp. 501-522.
    by Natasha Kurtonina, Maarten de Rijke
    posted to bisimulation _copy _file modal_logic negation substructural_logics by adrian_pigors on 2008-07-02 11:09:51 as ***
  • 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 ****
  • Defining double negation elimination
    Log. J. IGPL, Vol. 8, No. 6. (2000), pp. 853-860.
    by Greg Restall
    posted to _copy _file frame negation nonclassical_logic substructural_logics by adrian_pigors on 2008-07-02 10:31:38 as ****
  • Combining possibilities and negations
    Studia Logica, Vol. 59, No. 1. (1997), pp. 121-141.
    by Greg Restall
    posted to _copy _file frame logic modal_logic negation by adrian_pigors on 2008-07-02 10:11:07 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
  • On partially conservative sentences and interpretability
    Proc. Amer. Math. Soc., Vol. 91, No. 3. (1984), pp. 436-443.
    by Per Lindström
    posted to arithmetic _copy _dipl _file interpretability logic by adrian_pigors on 2008-04-29 11:00:17 as read
  • The formalization of interpretability
    Studia Logica, Vol. 50, No. 1. (1991), pp. 81-105.
    by Albert Visser
    posted to _copy _dipl _file interpretability logic modal_logic by adrian_pigors on 2008-04-29 10:55:39 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
  • An overview of interpretability logic
    Vol. 87 (1998), pp. 307-359.
    by Albert Visser
    posted to _copy _dipl _file interpretability logic modal_logic provability by adrian_pigors on 2008-04-29 10:43:55 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
  • Reflection principles and iterated consistency assertions
    J. Symbolic Logic, Vol. 44, No. 1. (1979), pp. 33-35.
    by George Boolos
    posted to consistency _copy _dipl _file incompleteness logic provability reflection by adrian_pigors on 2008-04-29 10:09:51 as read
  • Fifty years of self-reference in arithmetic
    Notre Dame J. Formal Logic, Vol. 22, No. 4. (1981), pp. 357-374.
    by C Smorynski
    posted to _copy _file logic provability self-reference by adrian_pigors on 2008-04-29 10:01:59 as **
  • A note on applicability of the incompleteness theorem to human mind
    Ann. Pure Appl. Logic, Vol. 96, No. 1-3. (1999), pp. 335-342.
    by Pavel Pudlák
    posted to consistency _copy _file incompleteness reflection by adrian_pigors on 2008-04-29 09:53:42 as **
  • Short introduction to enriched categories
    Vol. 111 (2000), pp. 167-194.
    by Francis Borceux, Isar Stubbe
    posted to category_theory _copy enriched_category _file by adrian_pigors on 2008-04-15 14:24:29 as ****
  • Gödel's second theorem for elementary arithmetic
    Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 67-80.
    by Lawrence J Pozsgay
    posted to _copy _dipl _file goedel incompleteness by adrian_pigors on 2008-02-26 12:12:20 as read
  • A strictly finitary non-triviality proof for a paraconsistent system of set theory deductively equivalent to classical ZFC minus foundation
    Arch. Math. Logic, Vol. 39, No. 8. (2000), pp. 581-598.
    by Arief Daynes
    posted to _copy _file paraconsistent_logic set_theory by adrian_pigors on 2008-02-22 12:47:03 as **
  • On the meaning of logical rules. I. Syntax versus semantics
    Vol. 165 (1999), pp. 215-272.
    by Jean Y Girard
    posted to _copy _file linear_logic by adrian_pigors on 2008-02-22 12:42:37 as **
  • An argument against the plausibility of Church's thesis
    (1959), pp. 72-80.
    by László Kalmár
    posted to _copy recursion_theory by adrian_pigors on 2008-02-22 12:36:43 as **
  • Five observations concerning the intended meaning of the intuitionistic logical constants
    J. Philos. Logic, Vol. 29, No. 4. (2000), pp. 409-424.
    by Gustavo F D\íez
    posted to _copy _file intuitionistic_logic by adrian_pigors on 2008-02-22 12:33:38 as **
  • Gleason's theorem has a constructive proof
    J. Philos. Logic, Vol. 29, No. 4. (2000), pp. 425-431.
    by Fred Richman
    posted to constructive _copy _file logic by adrian_pigors on 2008-02-22 12:27:45 as **
  • 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 **
  • How recent work in mathematical logic relates to the foundations of mathematics
    Math. Intelligencer, Vol. 7, No. 4. (1985), pp. 27-35.
    by FR Drake
    posted to cardinal _copy foundation goedel logic by adrian_pigors on 2008-02-22 12:15:51 as **
  • Calculating self-referential statements: Guaspari sentences of the first kind
    J. Symbolic Logic, Vol. 46, No. 2. (1981), pp. 329-344.
    by C Smorynski
    posted to consistency _copy _file self-reference by adrian_pigors on 2008-02-22 12:06:03 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 **
  • On an alleged refutation of Hilbert's program using Gödel's first incompleteness theorem
    J. Philos. Logic, Vol. 19, No. 4. (1990), pp. 343-377.
    by Michael Detlefsen
    posted to consistency _copy _file goedel hilbert incompleteness by adrian_pigors on 2008-02-22 11:57:22 as **
  • Arithmetization of metamathematics in a general setting
    Fund. Math., Vol. 49 (1960/1961), pp. 35-92.
    by S Feferman
    posted to arithmetization _copy _dipl _file goedel incompleteness provability by adrian_pigors on 2008-02-21 13:47:57 as read
  • Transfinite recursive progressions of axiomatic theories
    J. Symbolic Logic, Vol. 27 (1962), pp. 259-316.
    by Solomon Feferman
    posted to _copy _dipl _file goedel ordinal provability reflection turing by adrian_pigors on 2008-02-21 13:39:32 as read
  • Incompleteness along paths in progressions of theories
    J. Symbolic Logic, Vol. 27 (1962), pp. 383-390.
    by S Feferman, C Spector
    posted to _copy _dipl _file goedel incompleteness ordinal provability by adrian_pigors on 2008-02-21 13:29:51 as read
  • Turing in the land of $O(z)$
    (1988), pp. 113-147.
    by Solomon Feferman
    posted to _copy _dipl ordinal reflection turing by adrian_pigors on 2008-02-21 13:23:35 as read
  • My route to arithmetization
    Theoria, Vol. 63, No. 3. (1997), pp. 168-181.
    by Solomon Feferman
    posted to arithmetization consistency _copy _dipl _file goedel incompleteness by adrian_pigors on 2008-02-21 13:20:23 as read
  • Dependency pairs revisited
    Vol. 3091 (2004), pp. 249-268.
    by Nao Hirokawa, Aart Middeldorp
    posted to _copy term_rewriting by adrian_pigors on 2008-02-05 16:20:06 as **
  • What is paraconsistent logic?
    Vol. 8 (2000), pp. 95-111.
    by Jean Y Béziau
    posted to _copy _file negation paraconsistent_logic by adrian_pigors on 2008-02-05 16:07:48 as **
  • Three schools of paraconsistency
    Australas. J. Log., Vol. 1 (2003), pp. 28-42 (electronic).
    by Koji Tanaka
    posted to _copy _file paraconsistent_logic by adrian_pigors on 2008-02-05 16:04:20 as **
  • Categories, structures, and the Frege-Hilbert controversy: the status of meta-mathematics
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 61-77.
    by Stewart Shapiro
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:53:59 as **
  • Learning from questions on categorical foundations
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 44-60.
    by Colin Mclarty
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:50:17 as **
  • Categories in context: historical, foundational, and philosophical
    Philos. Math. (3), Vol. 13, No. 1. (2005), pp. 1-43.
    by Elaine Landry, Jean P Marquis
    posted to category_theory _copy _file foundation by adrian_pigors on 2008-02-05 15:46:00 as ** along with 1 person jrw
  • Logicians setting together contradictories: a perspective on relevance, paraconsistency, and dialetheism
    Vol. 22 (2002), pp. 651-664.
    by Graham Priest
    posted to _copy _file paraconsistent_logic by adrian_pigors on 2008-02-05 15:40:39 as **
  • Peeking at the impossible
    Notre Dame J. Formal Logic, Vol. 38, No. 4. (1997), pp. 527-534.
    by Chris Mortensen
    posted to _copy _file paraconsistent_logic by adrian_pigors on 2008-02-05 15:37:43 as **
  • A note on naive set theory in $ LP$
    Notre Dame J. Formal Logic, Vol. 33, No. 3. (1992), pp. 422-432.
    by Greg Restall
    posted to _copy _file paraconsistent_logic set_theory by adrian_pigors on 2008-02-05 15:29:58 as **
  • The infinite
    Jbuch. Kurt-Gödel-Ges. (1990), pp. 36-44 (1991).
    by Thomas Jech
    posted to _copy _file infinity set_theory by adrian_pigors on 2008-02-05 15:24:52 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/adrian_pigors/tag/_copy

    Result page: 1 2 3 4 Next 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.