Results 1  10
of
19
Full completeness of the multiplicative linear logic of chu spaces
 Proc. IEEE Logic in Computer Science 14
, 1999
"... We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cutfree proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on ..."
Abstract

Cited by 22 (8 self)
 Add to MetaCart
We prove full completeness of multiplicative linear logic (MLL) without MIX under the Chu interpretation. In particular we show that the cutfree proofs of MLL theorems are in a natural bijection with the binary logical transformations of the corresponding operations on the category of Chu spaces on a twoletter alphabet. This is the online version of the paper of the same title appearing in the LICS’99 proceedings. 1
Strategic Directions in Concurrency Research
 ACM COMPUTING SURVEYS
, 1996
"... Concurrency is concerned with the fundamental aspects of systems of multiple, simultaneously active computing agents that interact with one another. This notion is ..."
Abstract

Cited by 14 (0 self)
 Add to MetaCart
Concurrency is concerned with the fundamental aspects of systems of multiple, simultaneously active computing agents that interact with one another. This notion is
Higher Dimensional Automata Revisited
 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
, 2000
"... ..."
Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics
 Theoretical Computer Science
, 1998
"... 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 selfdual category of Chu spaces, a generalization of topological spaces. These create a bridge between linear logic and mathematics by soundly interp ..."
Abstract

Cited by 12 (2 self)
 Add to MetaCart
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 selfdual 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 addition we introduce the dialectic lambdacalculus, and show that dinaturality semantics is not fully complete for the Chu interpretation of linear logic. 1 Introduction Linear logic was introduced by J.Y. Girard as a "logic behind logic." It separates logical reasoning into a core linear part in which formulas are merely moved around, and an auxiliary nonlinear part in which formulas may be deleted and copied. The core, multiplicative linear logic (MLL), is a substructural logic whose basic connect...
G.: Approximable concepts, Chu spaces, and information systems. Theory and Applications of Categories (200x
"... ABSTRACT. This paper serves to bring three independent but important areas of computer science to a common meeting point: Formal Concept Analysis (FCA), Chu Spaces, and Domain Theory (DT). Each area is given a perspective or reformulation that is conducive to the flow of ideas and to the exploration ..."
Abstract

Cited by 12 (8 self)
 Add to MetaCart
ABSTRACT. This paper serves to bring three independent but important areas of computer science to a common meeting point: Formal Concept Analysis (FCA), Chu Spaces, and Domain Theory (DT). Each area is given a perspective or reformulation that is conducive to the flow of ideas and to the exploration of crossdisciplinary connections. Among other results, we show that the notion of state in Scott’s information system corresponds precisely to that of formal concepts in FCA with respect to all finite Chu spaces, and the entailment relation corresponds to “association rules”. We introduce, moreover, the notion of approximable concept and show that approximable concepts represent algebraic lattices which are identical to Scott domains except the inclusion of a top element. This notion serves as a stepping stone in the recent work [Hitzler and Zhang, 2004] in which a new notion of morphism on formal contexts results in a category equivalent to (a) the category of complete algebraic lattices and Scott continuous functions, and (b) a category of information systems and approximable mappings. 1.
THE CHU CONSTRUCTION
, 1996
"... We take another look at the Chu construction and show how to simplify it by looking at ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
We take another look at the Chu construction and show how to simplify it by looking at
The Separated Extensional Chu Category
 Theory and Applications of Categories
, 1998
"... . This paper shows that, given a factorization system, E=M on a closed symmetric monoidal category, the full subcategory of separated extensional objects of the Chu category is also autonomous under weaker conditions than had been given previously ([Barr, 1991)]. In the process we find conditions u ..."
Abstract

Cited by 9 (0 self)
 Add to MetaCart
. This paper shows that, given a factorization system, E=M on a closed symmetric monoidal category, the full subcategory of separated extensional objects of the Chu category is also autonomous under weaker conditions than had been given previously ([Barr, 1991)]. In the process we find conditions under which the intersection of a full reflective subcategory and its coreflective dual in a Chu category is autonomous. 1. Introduction 1.1. Chu categories. An appendix to [Barr, 1979] was an extract from the master's thesis of P.H. Chu that described what seemed at the time a toosimpletobeinteresting construction of autonomous categories [Chu, 1979]. In fact, this construction, now called the Chu construction has turned out to be surprisingly interesting, both as a way of providing models of Girard's linear logic [Seely, 1988], in theoretical computer science [Pratt, 1993a, 1993b, 1995] and as a general approach to duality [Barr and Kleisli, to apear] and [Schlapfer, 1998].. Given a...
Chu Spaces From the Representational Viewpoint
 Ann. Pure Appl. Logic
, 1998
"... We give an elementary introduction to Chu spaces viewed as a set of strings all of the same length. This perspective dualizes the alternative view of Chu spaces as generalized topological spaces, and has the advantage of substituting the intuitions of formal language theory for those of topology. 1 ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
We give an elementary introduction to Chu spaces viewed as a set of strings all of the same length. This perspective dualizes the alternative view of Chu spaces as generalized topological spaces, and has the advantage of substituting the intuitions of formal language theory for those of topology. 1 Background Chu spaces provide a simple, uniform, and wellstructured approach to the representation of objects that may possess algebraic, relational, or other structure, and that can transform into one another in ways that respect that structure. Chu spaces are simple by virtue of being merely a rectangular array, with no further machinery. They are uniform in the sense that all transformable objects, whether sets, groups, Boolean algebras, vector spaces, or manifolds, are representable by Chu spaces within the same framework, and hence can coexist in a single typeless universe of mathematical objects. And they are wellstructured in that this seemingly featureless universe in fact has a na...
*Autonomous Categories: Once More Around The Track
 AND CHU CONSTRUCTIONS: COUSINS? 149
, 1999
"... . This represents a new and more comprehensive approach to the  autonomous categories constructed in the monograph [Barr, 1979]. The main tool in the new approach is the Chu construction. The main conclusion is that the category of separated extensional Chu objects for certain kinds of equationa ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
. This represents a new and more comprehensive approach to the  autonomous categories constructed in the monograph [Barr, 1979]. The main tool in the new approach is the Chu construction. The main conclusion is that the category of separated extensional Chu objects for certain kinds of equational categories is equivalent to two usually distinct subcategories of the categories of uniform algebras of those categories. 1. Introduction The monograph [Barr, 1979] was devoted to the investigation of autonomous categories. Most of the book was devoted to the discovery of autonomous categories as full subcategories of seven different categories of uniform or topological algebras over concrete categories that were either equational or reflective subcategories of equational categories. The base categories were: 1. vector spaces over a discrete field; 2. vector spaces over the real or complex numbers; 3. modules over a ring with a dualizing module; 4. abelian groups; 5. modules ove...
Chu I: cofree equivalences, dualities and *autonomous categories
, 1993
"... ing from the technique of dual pairs in functional analysis (Kelley, Nanmioka et al. 1963, ch. 5), they defined the objects of their category to be the triples hA; B; A\Omega B OE !?i, where A and B are arbitrary objects of an autonomous category V, and ? is a fixed object, chosen to become duali ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
ing from the technique of dual pairs in functional analysis (Kelley, Nanmioka et al. 1963, ch. 5), they defined the objects of their category to be the triples hA; B; A\Omega B OE !?i, where A and B are arbitrary objects of an autonomous category V, and ? is a fixed object, chosen to become dualizing. A morphism from hA; B; OEi to hC; D; fli was defined as a pair hu : A ! C; B / D : vi of Varrows, making the square A\Omega D A\Omega B C\Omega D ? u\Omega D<Fnan><Fnan> fflffl A\Omega v<Fnan><Fnan> // OE<Fnan><Fnan> fflffl fl<Fnan><Fnan> (1) Cofree equivalences, dualities and autonomous categories 3 commute. This is the setting in which the autonomous structure of a Chu category was originally discovered. The starting point of the present paper is the fact that the category described by Chu is isomorphic to the comma category V=? ? , induced by the homming functor ? ? : V op \Gamma! V : A 7\Gamma! A ? = A \Gammaffi? : (2) By definition, the objects of V=? ? (i.e. Id V =?...