| Alternate document: Details Chu Spaces From the Representational Viewpoint (98) Vaughan Pratt |
Vaughan Pratt  Home/Search
Context Related
| stanford.edu/pub/bridge.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The motivating role of linear logic is as a "logic behind logic." We propose a sibling role for it as a logic of transformational mathematics via the self-dual category of Chu spaces, a generalization of topological spaces. These create a bridge between linear logic and mathematics by soundly interpreting linear logic while fully and concretely embedding a comprehensive range of concrete categories of mathematics. Our main goal is to treat each end of this bridge in expository detail. In... (Update)
Context of citations to this paper: More
...with some incident arrows. From the set perspective Replacing some by all when C is small embeds C fully in chu(Set; ob(C) [13]. That is, taking K to be suciently large permits the objects of any small category to be represented as Chu spaces in such a way that the...
Cited by: More
Morphisms in Context - Krötzsch, Hitzler, Zhang (2005) (Correct)
Full Completeness of the Multiplicative Linear Logic of.. - Devarajan, Plotkin, Pratt (Correct)
A Parigot-style Linear lambda-Calculus for Full.. - de Paiva, Ritter (2003) (Correct)
Active bibliography (related documents): More All
1.0: Chu Spaces From the Representational Viewpoint - Pratt (1998) (Correct)
0.7: Types as Processes, via Chu spaces - Vaughan Pratt (1997) (Correct)
0.6: Chu spaces: Complementarity and Uncertainty in Rational Mechanics - Pratt (1994) (Correct)
Similar documents based on text: More All
0.6: Towards Full Completeness for the Linear Logic of Chu Spaces - Vaughan Pratt Dept (1997) (Correct)
0.6: Event-State Duality: The Enriched Case - Pratt (Correct)
0.5: Unknown - It Was Pointed (Correct)
Related documents from co-citation: More All
8: Gates accept concurrent behavior - Gupta, Pratt - 1993
7: Chu Spaces: A Model of Concurrency - Gupta - 1994
7: Chu Spaces and their Interpretation as Concurrent Objects - Pratt - 1995
BibTeX entry: (Update)
V. R. Pratt, "Chu spaces as a semantic bridge between linear logic and mathematics", Theoretical Computer Science, 1998. http://citeseer.ist.psu.edu/pratt98chu.html More
@misc{ pratt98chu,
author = "V. Pratt",
title = "Chu spaces as a semantic bridge between linear logic and mathematics",
text = "V. R. Pratt, Chu spaces as a semantic bridge between linear logic and mathematics,
Theoretical Computer Science, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/pratt98chu.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
562 Categories for the Working Mathematician (context) - Lane - 1971
359 Introduction to Higher-Order Categorical Logic (context) - Lambek, Scott - 1986
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
175 Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1992
72 Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
53 Lambda definability in the full type hierarchy (context) - Plotkin - 1980
49 Annals of Pure and Applied Logic (context) - Blass, semantics et al. - 1992
43 Games semantics for linear logic (context) - Lafont, Streicher - 1991
42 volume 752 of Lecture Notes in Mathematics (context) - Barr, categories - 1979
34 The logic of quantum mechanics (context) - Birkhoff, von Neumann - 1936
32 Mathematical Structures in Computer Science (context) - Barr, of - 1996
29 Fair games and full completeness for multiplicative linear l.. - Hyland, Ong - 1993
26 The second calculus of binary relations - Pratt - 1993
24 The Stone gamut: A coordinatization of mathematics - Pratt - 1995
16 Annals of Pure and Applied Logic (context) - Blute, Scott et al. - 1996
14 A dialectica-like model of linear logic (context) - de Paiva - 1989
12 Math Structures in Comp (context) - Barr, categories et al. - 1991
11 Mathematical Structures in Computer Science (context) - Blute, linear et al. - 1996
11 Non-commutative intuitionistic linear propositional logic (context) - Abrusci - 1990
7 Algebraic and Topological Representations of Groups (context) - Pultr, Trnkov'a - 1980
7 How comprehensive is the category of semigroups (context) - Hedrl'in, Lambek - 1969
7 The shuffle Hopf algebra and noncommutative full completenes.. - Blute, Scott - 1996
6 On infinite dimensional vector spaces (context) - Mackey - 1945
6 Universal categories (context) - Trnkov'a - 1966
5 Towards full completeness of the linear logic of chu spaces - Pratt - 1997
2 Pure and Applied Algebra (context) - Par'e, Rom'an - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://boole.stanford.edu/abstracts.html): More
Origins of the Calculus of Binary Relations - Pratt (1992) (Correct)
Branching Bisimulation as a Tool in the Analysis of Weak.. - van Glabbeek (1995) (Correct)
Action Logic and Pure Induction - Pratt (1991) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC