新規登録 | ログイン | FAQ      [?] 

タグ: _copy [160 articles]

Recent papers classified by the tag _copy.
  • 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 ***
  • The category of categories as a foundation for mathematics
    (1966), pp. 1-20.
    by William F Lawvere
    posted to category_theory _copy foundation logic by adrian_pigors on 2007-10-09 10:43:46 as ***
  • The polarity between approximation and distribution
    Vol. 565 (2004), pp. 173-210.
    by Marcel Erné
    posted to closure_system _copy frame_ galois_connection locale by adrian_pigors on 2007-12-12 15:22:02 as **
  • Bounded distributive lattice expansions
    Math. Scand., Vol. 94, No. 1. (2004), pp. 13-45.
    by Mai Gehrke, Bjarni Jónsson
    posted to canonical_extension _copy distributivity _file lattice by adrian_pigors on 2007-10-08 10:36:15 as ****
  • 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
  • Monotone bounded distributive lattice expansions
    Math. Japon., Vol. 52, No. 2. (2000), pp. 197-213.
    by Mai Gehrke, Bjarni Jónsson
    posted to canonical_extension _copy _file lattice by adrian_pigors on 2007-10-08 10:31:17 as ****
  • Negation and Involutive Adjunction
    (9 Sep 2005)
    by K Dosen, Z Petric
    posted to adjunction _copy _file negation by adrian_pigors on 2008-02-05 11:34:16 as **
  • 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
  • MacNeille completions and canonical extensions
    Trans. Amer. Math. Soc., Vol. 358, No. 2. (2006), pp. 573-590 (electronic).
    by Mai Gehrke, John Harding, Yde Venema
    posted to canonical_extension completion _copy _file lattice macneille by adrian_pigors on 2007-10-08 10:25:43 as ****
  • Categorical structures enriched in a quantaloid: categories, distributors and functors
    Theory Appl. Categ., Vol. 14 (2005), pp. No. 1, 1-45 (electronic).
    by Isar Stubbe
    posted to bicategory _copy enriched_category _file quantaloid by adrian_pigors on 2008-01-10 16:33:09 as **
  • Modal operators on bounded commutative residuated ℓ -monoids
    Mathematica Slovaca, Vol. 57, No. 4. (2007), pp. 321-332.
    by Jiří Rachůnek, Dana Šalounová
    posted to closure_operator _copy _file modal_operator mv-algebra nucleus residuation by adrian_pigors on 2007-12-18 13:34:28 as **
  • Information transfer across Chu spaces
    Log. J. IGPL, Vol. 8, No. 6. (2000), pp. 719-731.
    by Johan van Benthem
    posted to chu_space chu_transform _copy _file frame modal_logic morphism by adrian_pigors on 2007-12-13 10:16:20 as ****
  • Relational semantics through duality
    Vol. 3929 (2006), pp. 17-32.
    by Ewa Or\lowska, Ingrid Rewitzky, Ivo Düntsch
    posted to _copy duality _file frame semantics by adrian_pigors on 2007-10-29 13:03:54 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 **
  • 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
  • Diagonal arguments and Cartesian closed categories
    Repr. Theory Appl. Categ., No. 15. (2006), pp. 1-13 (electronic).
    by William F Lawvere
    posted to cartesian_closed_category category_theory _copy diagonalization _file goedel incompleteness by adrian_pigors on 2007-10-09 10:36:19 as ***
  • Relational representability for algebras of substructural logics
    Vol. 3929 (2006), pp. 212-224.
    by Ewa Or\lowska, Anna M Radzikowska
    posted to _copy _file frame representation substructural_logics by adrian_pigors on 2007-10-29 12:59:07 as ***
  • A Proposal for Combining Formal Concept Analysis and Description Logics for Mining Relational Data
    Formal Concept Analysis (2007), pp. 51-65.
    by Mohamed Rouane, Marianne Huchard, Amedeo Napoli, Petko Valtchev
    posted to _copy description_logics fca _file by adrian_pigors on 2008-02-01 11:21:48 as **
  • 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 **
  • Categorical and Kripke semantics for constructive S4 modal logic
    Vol. 2142 (2001), pp. 292-307.
    by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter
    posted to categorical_logic _copy _file kripke modal_logic by adrian_pigors on 2007-12-13 10:03:50 as **
  • Prime decomposition and pseudocomplementation
    (2006), pp. 83-104.
    by Marcel Erné
    posted to _copy _file prime pseudocomplement by adrian_pigors on 2007-12-12 15:12:10 as **
  • 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
  • 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 **
  • Adjointness in foundations
    Repr. Theory Appl. Categ., No. 16. (2006), pp. 1-16 (electronic).
    by William F Lawvere
    posted to adjunction cartesian_closed_category category_theory _copy _file logic by adrian_pigors on 2007-10-09 10:28:35 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 ****
  • Modal operators on MV-algebras
    Math. Bohem., Vol. 131, No. 1. (2006), pp. 39-48.
    by Magdalena Harlenderová, Jir\í Rachocircunek
    posted to closure_operator _copy modal_operator mv-algebra residuation by adrian_pigors on 2007-12-18 13:21:18 as **
  • Cartesian bicategories. I
    J. Pure Appl. Algebra, Vol. 49, No. 1-2. (1987), pp. 11-32.
    by A Carboni, RFC Walters
    posted to bicategory category_theory _copy _file relation by adrian_pigors on 2007-10-04 18:56:58 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 ***
  • The Basic Theorem on Preconcept Lattices
    Formal Concept Analysis (2006), pp. 80-88.
    by Christian Burgmann, Rudolf Wille
    posted to _copy fca _file lattice preconcept by adrian_pigors on 2007-12-12 15:58:41 as **
  • 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
  • A categorical manifesto
    Math. Structures Comput. Sci., Vol. 1, No. 1. (1991), pp. 49-67.
    by Joseph A Goguen
    posted to category_theory _copy _file by adrian_pigors on 2008-02-05 14:22:40 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 **
  • 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 ****
  • Taking categories seriously
    Repr. Theory Appl. Categ., No. 8. (2005), pp. 1-24 (electronic).
    by William F Lawvere
    posted to category_theory _copy enriched_category _file by adrian_pigors on 2007-10-09 10:19:12 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 **
  • Applied Lattice Theory: Formal Concept Analysis
    (1997)
    by B Ganter, R Wille
    posted to _copy fca _file lattice by adrian_pigors on 2008-02-01 11:11:08 as **
  • Prime ideal theorems and systems of finite character
    Comment. Math. Univ. Carolin., Vol. 38, No. 3. (1997), pp. 513-536.
    by Marcel Erné
    posted to ac _copy _file prime_ideal by adrian_pigors on 2007-12-12 14:55:00 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 **
  • 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
  • Boolean algebras with operators. II
    Amer. J. Math., Vol. 74 (1952), pp. 127-162.
    by Bjarni Jónsson, Alfred Tarski
    posted to bao closure_space _copy duality _file relation representation by adrian_pigors on 2007-12-14 12:51:38 as ***
  • Implication connectives in orthomodular lattices
    Notre Dame J. Formal Logic, Vol. 16 (1975), pp. 305-328.
    by L Herman, EL Marsden, R Piziak
    posted to _copy _file implication logic orthomodular_lattice quantum_logic by adrian_pigors on 2007-10-11 09:58:32 as **
  • From Formal Concept Analysis to Contextual Logic
    Formal Concept Analysis (2005), pp. 81-100.
    by Frithjof Dau, Julia Klinger
    posted to contextual_logic _copy fca _file by adrian_pigors on 2008-02-01 12:34:54 as **
  • 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
  • A new approach to quantum logic
    British J. Philos. Sci., Vol. 37, No. 1. (1986), pp. 83-99.
    by JL Bell
    posted to _copy _file quantum_logic by adrian_pigors on 2008-02-01 13:50:30 as **
  • Distributivgesetze und Dedekind'sche Schnitte
    Abh. Braunschweig. Wiss. Ges., Vol. 33 (1982), pp. 117-145.
    by Marcel Erné
    posted to _copy cut distributivity lattice order_theory by adrian_pigors on 2007-12-12 14:46:01 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 **
  • 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
  • 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 **
  • 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 **
  • Category theory for linear logicians
    Vol. 316 (2004), pp. 3-64.
    by Richard Blute, Philip Scott
    posted to category_theory _copy _file linear_logic by adrian_pigors on 2008-02-04 14:52:47 as **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/_copy

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