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

タグ: _file [151 articles]

Recent papers classified by the tag _file.
  • 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 ***
  • 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
  • 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 **
  • 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 **
  • Tensor products for bounded posets revisited
    Order, Vol. 7, No. 3. (1990), pp. 295-314.
    by Marcel Erné
    posted to complete_lattice _file poset _priv tensor_product by adrian_pigors on 2007-10-09 16:44:26 as ***
  • 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 **
  • 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 **
  • 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
  • Pretopologies and a uniform presentation of sup-lattices, quantales and frames
    Ann. Pure Appl. Logic, Vol. 137, No. 1-3. (2006), pp. 30-61.
    by Giulia Battilotti, Giovanni Sambin
    posted to _file frame_ lattice quantale by adrian_pigors on 2008-02-05 11:28:32 as **
  • 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 ****
  • 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 **
  • 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 ****
  • Algebraic logic
    (2001), pp. 133-247.
    by H Andréka, I Németi, I Sain
    posted to bao _copy _file logic relation by adrian_pigors on 2008-02-01 13:56:25 as **
  • Pseudocomplemented ordered sets
    Arch. Math. (Brno), Vol. 29, No. 3-4. (1993), pp. 153-160.
    by Radom\ír Halas
    posted to _copy _file order_theory pseudocomplement by adrian_pigors on 2008-02-05 12:15:50 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 ***
  • The point of pointless topology
    Bull. Amer. Math. Soc. (N.S.), Vol. 8, No. 1. (1983), pp. 41-53.
    by Peter T Johnstone
    posted to _copy _file frame_ locale pointfree topology by adrian_pigors on 2008-02-01 10:05:56 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 **
  • 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 **
  • Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem
    Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19.
    by Jorge Soto-Andrade, Francisco J Varela
    posted to category_theory _copy diagonalization _file goedel logic self-reference by adrian_pigors on 2007-10-09 11:11:15 as ** along with 2 people msakai scis0000001
  • 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 **
  • 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 **
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/tag/_file

    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.