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

adrian_pigors library [220 articles]

Статьи, недавно добавленные в библиотеку adrian_pigors .
  • Remarks on finitism
    Vol. 15 (2002), pp. 410-419.
    by WW Tait
    posted to pra finitism _file dipl _copy 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 semantics representation negation logic lattice frame _file _copy 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 substructural_logics negation modal_logic _file _copy bisimulation 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 substructural_logics proof_theory galois_connection gaggle _file display_logic _copy 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 substructural_logics nonclassical_logic negation frame _file _copy by adrian_pigors on 2008-07-02 10:31:38 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 substructural_logics proof_theory frame _file display_logic by adrian_pigors on 2008-07-02 10:21:03 as **
  • Combining possibilities and negations
    Studia Logica, Vol. 59, No. 1. (1997), pp. 121-141.
    by Greg Restall
    posted to negation modal_logic logic frame _file _copy 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 substructural_logics proof_theory gaggle frame _file display_logic _copy 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 reflection proof_theory interpretability _file _dipl _copy consistency arithmetic 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 proof_theory ordinal _dipl _copy arithmetic 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 proof_theory _dipl _copy arithmetic 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 proof_theory _file _dipl _copy arithmetic 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 proof_theory pra _dipl _copy arithmetic 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 logic interpretability _file _dipl _copy arithmetic 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 modal_logic logic interpretability _file _dipl _copy 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 self-reference provability proof_theory logic interpretability _dipl _copy consistency 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 provability modal_logic logic interpretability _file _dipl _copy 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 reflection proof_theory _file _copy arithmetic 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 reflection proof_theory _file _dipl _copy consistency 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 reflection provability proof_theory pra _dipl _copy 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 reflection provability proof_theory pra _dipl _copy 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 reflection provability logic incompleteness _file _dipl _copy consistency 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 self-reference provability logic _file _copy 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 reflection incompleteness _file _copy consistency by adrian_pigors on 2008-04-29 09:53:42 as **
  • Order-enrichment for categories of partial maps
    Math. Structures Comput. Sci., Vol. 5, No. 4. (1995), pp. 533-562.
    by Marcelo P Fiore
    posted to computer_science enriched_category _file order_theory by adrian_pigors on 2008-04-17 13:59:00 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 ****
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    Applied Categorical Structures, Vol. 13, No. 1. (January 2005), pp. 1-36.
    by Maietti Maria, Maneggia Paola, Paiva Valeria, Ritter Eike
    posted to categorical_logic _file linear_logic semantics by adrian_pigors on 2008-03-17 14:53:36 as ** along with 1 person EdwardKmett
  • 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
  • A coalgebraic view on positive modal logic
    Theoret. Comput. Sci., Vol. 327, No. 1-2. (2004), pp. 175-195.
    by Alessandra Palmigiano
    posted to coalgebra _file kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:54:05 as **
  • Positive modal logic
    Studia Logica, Vol. 55, No. 2. (1995), pp. 301-317.
    by Michael J Dunn
    posted to _file kripke modal_logic semantics by adrian_pigors on 2008-02-19 11:46:09 as **
  • 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 **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/adrian_pigors

    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.