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

jrw logic [110 articles]

Recent papers added to jrw library classified by the tag logic. You can also see everyone's logic.
  • On the Axiomatisation of Boolean Categories with and without Medial
    (5 Oct 2007)
    by Lutz Strassburger
    posted to mathematics logic computation category-theory by jrw on 2008-06-19 01:56:58 as **
  • The three dimensions of proofs
    (4 Dec 2006)
    by Yves Guiraud
    posted to mathematics logic category-theory by jrw on 2008-06-15 07:25:44 as ***
  • Linking diagrams for free
    (11 May 2008)
    by Dominic JD Hughes
    posted to mathematics logic graphs computation category-theory by jrw on 2008-05-13 07:44:16 as ****
  • A language for mathematical language management
    (9 May 2008)
    by Steven Kieffer, Jeremy Avigad, Harvey Friedman
    posted to printed philosophy mathematics logic languages by jrw on 2008-05-12 23:14:45 as *** along with 1 person amatos
  • Presentation of a Game Semantics for First-Order Propositional Logic
    (7 May 2008)
    by Samuel Mimram
    posted to mathematics logic languages category-theory algebra by jrw on 2008-05-09 19:47:39 as ***
  • The Geometry of Interaction of Differential Interaction Nets
    (9 Apr 2008)
    by Marc de Falco
    posted to computation logic by jrw on 2008-04-11 02:51:12 as **
  • A general construction of internal sheaves in algebraic set theory
    (11 Nov 2007)
    by Steve Awodey, Nicola Gambino, Peter L Lumsdaine, Michael A Warren
    posted to category-theory geometry logic mathematics by jrw on 2007-11-13 03:05:51 as ****
  • Proofs Without Syntax
    (18 Jul 2006)
    by Dominic Hughes
    posted to combinatorics computation logic mathematics printed by jrw on 2007-10-10 05:22:31 as ****
  • Logic Without Syntax
    (4 Apr 2005)
    by Dominic Hughes
    posted to combinatorics computation logic mathematics by jrw on 2007-10-10 05:22:14 as ****
  • Petri nets are monoids: a new algebraic foundation for net theory
    Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 155-164.
    by J Meseguer, U Montanari
    posted to category-theory computation logic mathematics process-networks by jrw on 2007-08-23 00:57:55 as ** along with 2 people ansobol tautologico
  • Seven Trees in One
    (20 May 1994)
    by Andreas Blass
    posted to combinatorics logic mathematics by jrw on 2007-08-06 19:46:33 as ***
  • A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
    (19 May 2003)
    by Noson S Yanofsky
    posted to category-theory logic mathematics printed by jrw on 2007-08-06 19:44:02 as ***
  • Partiality in physics
    (4 Dec 2003)
    by Bob Coecke, Keye Martin
    posted to quantum-information quantum printed physics mathematics logic category-theory by jrw on 2007-07-25 07:51:24 as *** along with 1 person proportional
  • Epistemic actions as resources
    (5 Mar 2007)
    by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
    posted to category-theory logic mathematics physics printed quantum by jrw on 2007-07-25 07:17:33 as ***
  • Early Greek Thought and Perspectives for the Interpretation of Quantum Mechanics: Preliminaries to an Ontological Approach
    (7 Nov 2006)
    by K Verelst, B Coecke
    posted to history logic philosophy physics printed quantum by jrw on 2007-07-25 07:15:20 as ***
  • A Categorical Quantum Logic
    ArXiv Quantum Physics e-prints (December 2005)
    by S Abramsky, R Duncan
    posted to category-theory computation logic quantum by jrw on 2007-07-20 07:27:36 as ** along with 1 person scis0000001
  • Why isn't every physicist a Bayesian?
    American Journal of Physics, Vol. 63, No. 5. (1995), pp. 398-410.
    by Robert D Cousins
    posted to bayesian logic physics quantum by jrw on 2007-07-02 20:33:58 as *** along with 11 people and 1 group fredguilloux ansobol eme Borelli proportional CoffeeIV marymcglo skl quianominor qwermish abominable astro
  • A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
    (19 May 2003)
    by Noson S Yanofsky
    posted to category-theory logic mathematics printed by jrw on 2007-06-22 19:57:25 as ****
  • Monads for Natural Language Semantics
    by Chung C Shan
    posted to category-theory computation languages logic mathematics by jrw on 2007-06-13 09:41:22 as **** along with 2 people JeffreyPalmer Scis0000002
  • The fundamental progroupoid of a general topos
    (12 Jun 2007)
    by Eduardo J Dubuc
    posted to category-theory logic mathematics by jrw on 2007-06-13 07:22:01 as ** along with 1 person Scis0000002
  • Relevant Categories and Partial Functions
    (6 Jun 2007)
    by K Dosen, Z Petric
    posted to category-theory logic mathematics by jrw on 2007-06-07 23:05:06 as **
  • Relational databases and indexed categories
    (1992)
    by R Rosebrugh, R Wood
    posted to category-theory computation data-structures graphs languages logic mathematics by jrw on 2007-05-16 08:49:24 as *** along with 1 person scis0000001
  • Category theory based on combinatory logic
    Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16.
    by MW Bunder
    posted to category-theory combinatorics logic mathematics by jrw on 2007-05-10 06:57:38 as ** along with 2 people scis0000001 pirapira
  • Modules over Monads and Linearity
    (7 May 2007)
    by André Hirschowitz, Marco Maggesi
    posted to category-theory computation languages logic mathematics printed by jrw on 2007-05-09 03:51:45 as **** along with 1 person mstone
  • A comparison between two logical formalisms for rewriting
    ArXiv Computer Science e-prints (January 2006)
    by M Palomino
    posted to computation logic mathematics by jrw on 2007-05-07 06:02:52 as ** along with 1 person scis0000001
  • 2-Categorical Specification of Partial Algebras
    by Martin G Rhode, Uwe Wolter
    posted to algebra category-theory computation logic mathematics printed by jrw on 2007-05-07 04:16:19 as **** along with 1 person scis0000001
  • The Simply Typed Rewriting Calculus
    (2000)
    by H Cirstea, C Kirchner
    posted to algebra automata computation languages logic mathematics by jrw on 2007-05-02 08:27:09 as ***
  • The rewriting calculus --- Part II
    (2001)
    by Horatiu Cirstea, Claude Kirchner
    posted to algebra automata computation languages logic mathematics printed by jrw on 2007-05-02 08:21:47 as *** along with 1 person kavabean
  • The rewriting calculus --- Part I
    (2001)
    by H Cirstea, C Kirchner
    posted to algebra automata computation languages logic mathematics printed by jrw on 2007-05-02 08:18:39 as **** along with 2 people kavabean scis0000001
  • Rewriting Logic: Roadmap and Bibliography
    (2001)
    by N Mart, Jos, Meseguer
    posted to algebra automata computation languages logic mathematics by jrw on 2007-05-02 08:01:44 as ***
  • Rewriting Logic as a Framework for Building Generic Tools for Verifying Concurrent Systems
    (1998)
    by Martin Leucker
    posted to algebra automata computation languages logic mathematics by jrw on 2007-05-02 07:50:58 as *** along with 1 person scis0000001
  • Rewrite Systems
    (1990), pp. 243-320.
    by Nachum Dershowitz, Jean-Pierre Jouannaud
    posted to algebra automata computation languages logic mathematics printed by jrw on 2007-05-02 07:43:33 as **** along with 5 people and 1 group rgrig radico scis0000001 ronjferg dara SRG_at_UCD
  • The Logical Meeting Point of Multiset Rewriting and Process Algebra
    by I Cervesato
    posted to algebra automata computation languages logic mathematics by jrw on 2007-05-02 07:34:31 as **** along with 1 person scis0000001
  • Presheaf Models for Concurrency
    (1996), pp. 58-75.
    by Gian L Cattani, Glynn Winskel
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:19:40 as ***
  • Categorical and Graphical Models of Programming Languages
    (2001)
    by R Schweimeier
    posted to algebra category-theory computation functional languages logic mathematics thesis by jrw on 2007-04-07 07:19:10 as ***** along with 1 person ansobol
  • Axiomatic Rewriting Theory II - The λσ-calculus enjoys finite normalisation cones
    by Paul A Mellies
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:11:48 as ****
  • Axiomatic Rewriting Theory 1: A diagrammatic standardization theorem
    (2002)
    by P Mellies
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:11:29 as **** along with 1 person scis0000001
  • Models for Name-Passing Processes: Interleaving and Causal
    (2000), pp. 322-332.
    by Gian L Cattani, Peter Sewell
    posted to algebra category-theory causal-networks computation logic mathematics networks by jrw on 2007-04-07 07:09:14 as ***
  • Categories in concurrency
    (1997)
    by G Winskel, M Nielsen
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:06:57 as **** along with 1 person scis0000001
  • A Formal Calculus for Categories
    (2003)
    by Mario J Cáccamo
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:05:59 as *** along with 2 people Scis0000002 scis0000001
  • Presheaf Models and Process Calculi
    by Mikkel Nygaard
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:02:13 as ***
  • Full abstraction for HOPLA
    No. 2761. (2003), pp. 383-398.
    by Mikkel Nygaard, Glynn Winskel
    edited by Roberto Amadio, Denis Lugiez
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 07:01:40 as ***
  • Domain Theory for Concurrency
    Theoretical Computer Science (2004), pp. 153-190.
    by Mikkel Nygaard, Glynn Winskel
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:58:41 as ****
  • Domain Theory for Concurrency
    (2003)
    by M Nygaard
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:56:51 as **** along with 1 person scis0000001
  • Presheaf models for CCS-like languages
    (1999)
    by G Cattani, G Winskel
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:54:42 as ****
  • Presheaf Models for Concurrency
    (1996), pp. 58-75.
    by Gian L Cattani, Glynn Winskel
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:52:37 as **** along with 1 person scis0000001
  • Bisimilarity in term graph rewriting
    (MarchJanuary 1998)
    by Zena M Ariola, Jan W Klop, Detlef Plump
    posted to algebra category-theory computation graphs logic mathematics by jrw on 2007-04-07 06:45:37 as ***
  • Models for Concurrency
    (1995)
    by G Winskel, M Nielsen
    edited by S Abramsky, D Gabbay, TSE Maibaum
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:40:28 as **** along with 1 person munnu
  • Specifying Interaction Categories
    by Pavlovi'c, Abramsky
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:33:57 as ****
  • Categorical logic of concurrency and interaction II: Asynchronous processes
    by D Pavlovic
    posted to algebra category-theory computation logic mathematics by jrw on 2007-04-07 06:31:54 as ****
    • Вы можете ссылаться на эту страницу по адресу: http://www.citeulike.org/user/jrw/tag/logic

    Result page: 1 2 3 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.