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

adrian_pigors _file [152 articles]

Recent papers added to adrian_pigors library classified by the tag _file. You can also see everyone's _file.
  • 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 ****
  • 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 **
  • 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
  • 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
  • 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
  • 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
  • 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 **
  • 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 **
  • 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 **
  • 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 **
  • 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
  • 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 **
  • 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 **
  • The knower paradox revisited
    Philos. Stud., Vol. 98, No. 2. (2000), pp. 221-231.
    by Byeong D Lee
    posted to _copy _file modal_logic paradox by adrian_pigors on 2008-02-05 15:15:51 as **
  • Towards Semantic Web Mining
    The Semantic Web — ISWC 2002 (2002), pp. 264-278.
    by Bettina Berendt, Andreas Hotho, Gerd Stumme
    posted to _copy data_mining fca _file semantic_web by adrian_pigors on 2008-02-05 15:10:53 as ** along with 1 person abellogin
  • Paraconsistent logics!
    Bull. Sect. Logic Univ. \Lódz, Vol. 26, No. 3. (1997), pp. 156-163.
    by Greg Restall
    posted to _copy _file paraconsistent_logic by adrian_pigors on 2008-02-05 15:04:58 as **
  • Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem
    Arch. Math. Logic, Vol. 44, No. 4. (2005), pp. 459-472.
    by RE Hodel
    posted to ac _copy _file prime_ideal set_theory by adrian_pigors on 2008-02-05 14:48:59 as **
  • The non-Boolean logic of natural language negation
    Philos. Math. (3), Vol. 2, No. 1. (1994), pp. 45-68.
    by Marie, John Macnamara, Gonzalo E Reyes, Houman Zolfaghari
    posted to category_theory _copy _file negation by adrian_pigors on 2008-02-05 14:45:56 as **
  • Formal systems for modal operators on locales
    Studia Logica, Vol. 52, No. 4. (1993), pp. 595-613.
    by Gonzalo E Reyes, Marek W Zawadowski
    posted to _copy _file locale modal_logic modal_operator by adrian_pigors on 2008-02-05 14:28:40 as **
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/adrian_pigors/tag/_file

    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.