registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

vcvpaivas logic [43 articles]

Neue Publikationen in vcvpaivas Bibliothek eingetragen unter dem Bezeichner: logic. You can also see everyone's logic.
  • Categorical glueing and logical predicates for models of linear logic
    (1999)
    by M Hasegawa
    posted to linear logic logical predicates by vcvpaiva on 2007-06-30 18:15:05 as **
  • Equality of Proofs for Linear Equality
    (30 Jan 2006)
    by K Dosen, Z Petric
    posted to logic review by vcvpaiva on 2006-02-06 15:16:46 as ***** along with 1 person greg_restall
  • 05-CCCM-dyadic.pdf (application/pdf Object)
    by C Caleiro, J Marcos, M Coniglio, W Carnielli
    posted to logic by vcvpaiva on 2006-01-24 15:53:24 as ****
  • Fibring Sequent Calculus
    by Luis Cruz-Felipe, C Sernadas
    posted to combination logic sequent-calculus by vcvpaiva on 2006-01-24 15:45:28 as *****
  • A constructive proof of completeness of resolution
    by Jean Gallier
    posted to logic by vcvpaiva on 2006-01-22 16:44:05 as *****
  • A Constructive Game Semantics for the Language of Linear Logic
    Annals of Pure and Applied Logic, Vol. 85, No. 2. (1997), pp. 87-156.
    by Giorgi Japaridze
    posted to linear logic by vcvpaiva on 2006-01-16 16:03:56 as ***
  • Some semantical aspects of linear logic
    (1996)
    by A Blass
    posted to algebraic categorical linear logic by vcvpaiva on 2006-01-16 16:01:28 as ** along with 2 people dmitri83 scis0000001
  • What is a Categorical Model of Linear Logic?
    by A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-28 15:08:13 as read
  • notes Abstract Games for Linear Logic
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:57:29 as **
  • Games on Graphs and Sequentially Realizable Functionals
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:48:21 as ***
  • Glueing and orthogonality for models of linear logic
    by M Hyland, A Schalk
    posted to categorical linear logic by vcvpaiva on 2005-12-27 21:45:54 as read
  • Traced Premonoidal Categories
    by Nick Benton, Martin Hyland
    posted to categorical logic by vcvpaiva on 2005-12-19 23:16:21 as **
  • Contextual Modal Type Theory
    by A Nanevski, B Pienka, F Pfenning
    posted to explicit-subs logic modal by vcvpaiva on 2005-12-19 17:00:41 as ***
  • Jumbo connectives in Proof Theory and Logic
    by Paul Levy
    posted to categorical logic by vcvpaiva on 2005-12-19 16:58:05 as **
  • Proofs, Concurrent Objects, and Computations in a FILL Framework
    Vol. 1107 (1995), pp. 148-167.
    by D Galmiche, E Boudinet
    edited by J Briot, J Geib, A Yonezawa
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:03:16 as ****
  • Connection methods in linear logic and proof nets construction
    Theoretical Computer Science, Vol. 232, No. 1--2. (2000), pp. 231-272.
    by D Galmiche
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:00:26 as ***
  • Guarded Programs and Proofs in Linear Logic
    by Didier Galmiche, R Couturier
    posted to linear logic by vcvpaiva on 2005-12-17 16:30:29 as **
  • On proof normalization in linear logic
    Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 67-110.
    by Didier Galmiche, Guy Perrier
    posted to linear logic by vcvpaiva on 2005-11-24 16:00:20 as ****
  • Rewriting properties of combinators for intuitionistic linear logic
    (1994)
    by M Nesi, V de Paiva, E Ritter
    posted to combinators intuitionistic linear logic own by vcvpaiva on 2005-11-19 17:14:25 as read
  • Explicit Substitutitions for Constructive Necessity
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs logic modal by vcvpaiva on 2005-11-19 17:12:44 as read
  • Syntactic Multicategories and Categorical Combinators for Linear Logic
    (1993)
    by E Ritter, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:11:51 as read along with 1 person and 1 group rgb pileWorks
  • Explicit substitution for linear logical frameworks
    by I Cervesato, V de Paiva, E Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 17:07:30 as read
  • A Dialectica Model of the Lambek Calculus
    by Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:06:13 as read
  • A Substructural Logic for Formal Verification
    by Sara Kalvala, Valeria de Paiva
    posted to linear logic by vcvpaiva on 2005-11-19 17:05:17 as read
  • Lineales: Algebraic Models of Linear Logic from a Categorical Perspective
    by Valeria de Paiva
    posted to algebraic linear logic by vcvpaiva on 2005-11-19 17:02:56 as read
  • Categorical Models for Intuitionistic and Linear Type Theory
    Lecture Notes in Computer Science, Vol. 1784 (2000)
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 17:01:55 as read
  • Categorical Multirelations, Linear Logic and Petri Nets
    (May MarchJanuary 1991)
    by V de Paiva
    posted to linear logic nets petri by vcvpaiva on 2005-11-19 17:01:15 as read
  • Relating Categorical Semantics for Intuitionistic Linear Logic
    No. CSR-01-7. (2001)
    by Maria E Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter
    posted to categorical linear logic semantics by vcvpaiva on 2005-11-19 17:00:10 as read along with 1 person and 1 group mcclurmc Lambda the Ultimate
  • Normalization Bounds in Rudimentary Linear Lambda Calculus
    by Maria E Maietti, Valeria de Paiva, Eike Ritter
    posted to linear logic by vcvpaiva on 2005-11-19 16:59:12 as read
  • Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
    by Gianluigi Bellin, Valeria de Paiva, Eike Ritter
    posted to categorical logic modal by vcvpaiva on 2005-11-19 16:57:25 as read along with 1 person kozima
  • A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic
    by Valeria de Paiva, Eike Ritter
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:59 as read
  • Dialectica and Chu Constructions: Cousins?
    by Valeria de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:26 as read
  • A dialectica model of state
    (1996)
    by M Correa, E Haeusler, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:52:40 as read
  • Poset-valued sets or How to build models for Linear Logics
    (2001)
    by A Schalk, V de Paiva
    posted to categorical linear logic by vcvpaiva on 2005-11-19 16:51:28 as read
  • 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
    edited by L Fribourg
    posted to intuitionistic logic modal by vcvpaiva on 2005-11-19 16:50:09 as read along with 1 person kozima
  • A Formulation of Linear Logic Based on Dependency-Relations
    by Torben Brauner, Valeria de Paiva
    posted to full-intuitionistic linear logic by vcvpaiva on 2005-11-19 16:48:40 as read
  • On Explicit Substitutions and Names
    No. CSR-97-5. (March 1997)
    by Eike Ritter, Valeria de Paiva
    posted to explicit-subs logic by vcvpaiva on 2005-11-19 16:47:30 as read
  • Linear Explicit Subsitutions
    No. CSR-98-2. (March 1998)
    by Neil Ghani, Valeria de Paiva, Eike Ritter
    posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 16:46:53 as read
  • Linear lambda-calculus and categorical models revisited
    (1993), pp. 61-84.
    by N Benton, G Bierman, V de Paiva, M Hyland
    edited by E Borgër, G Jagër, Kleine H Bunïng, S Martini, M Richter
    posted to linear logic own by vcvpaiva on 2005-11-19 16:45:11 as read
  • Computational Types from a Logical Perspective
    Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193.
    by PN Benton, Gavin Bierman, Valeria de Paiva
    posted to logic modal own by vcvpaiva on 2005-11-19 16:43:18 as read along with 1 person jsala
  • Intuitionistic Necessity Revisited
    No. CSR-96-10. (1996)
    by GM Bierman, Valeria de Paiva
    posted to linear logic modal own by vcvpaiva on 2005-11-19 16:42:39 as read
  • A Term Calculus for Intuitionistic Linear Logic
    Vol. 664 (1993), pp. 75-90.
    by Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland
    edited by M Bezem, JF Groote
    posted to linear logic own by vcvpaiva on 2005-11-19 16:41:45 as read
  • A categorical version of the Brouwer--Heyting--Kolmogorov interpretation
    by Erik Palmgren
    posted to cat categorical lextensiva logic by vcvpaiva on 2005-11-19 16:39:09 as read
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/vcvpaiva/tag/logic

    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.