Results 1 
5 of
5
Weakly Distributive Categories
 Journal of Pure and Applied Algebra
, 1991
"... There are many situations in logic, theoretical computer science, and category theory where two binary operationsone thought of as a (tensor) "product", the other a "sum"play a key role. In distributive and autonomous categories these operations can be regarded as, respectively, the and/or of ..."
Abstract

Cited by 119 (19 self)
 Add to MetaCart
There are many situations in logic, theoretical computer science, and category theory where two binary operationsone thought of as a (tensor) "product", the other a "sum"play a key role. In distributive and autonomous categories these operations can be regarded as, respectively, the and/or of traditional logic and the times/par of (multiplicative) linear logic. In the latter logic, however, the distributivity of product over sum is conspicuously absent: this paper studies a "linearization" of that distributivity which is present in both case. Furthermore, we show that this weak distributivity is precisely what is needed to model Gentzen's cut rule (in the absence of other structural rules) and can be strengthened in a natural way to generate  autonomous categories. We also point out that this "linear" notion of distributivity is virtually orthogonal to the usual notion as formalized by distributive categories. 0 Introduction There are many situations in logic, theoretical co...
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...
Some Properties Of Linear Logic Proved By Semantic Methods
 Journal of Logic and Computation
, 1994
"... We construct several simple algebraic models of the multiplicative and multiplicative additive fragments of linear logic and demonstrate the value of such models by proving some unexpected prooftheoretical properties of these fragments. I. ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
We construct several simple algebraic models of the multiplicative and multiplicative additive fragments of linear logic and demonstrate the value of such models by proving some unexpected prooftheoretical properties of these fragments. I.
Derived Operations In Goguen Categories
, 2002
"... Goguen categories were introduced in [13] as a suitable categorical description of relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice instead of the unit interval [0, 1] of the real numbers. In this paper we want to study operations on morphisms of a Goguen ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Goguen categories were introduced in [13] as a suitable categorical description of relations, i.e., of relations taking values from an arbitrary complete Brouwerian lattice instead of the unit interval [0, 1] of the real numbers. In this paper we want to study operations on morphisms of a Goguen category which are derived from suitable binary functions on the underlying lattice of scalar elements, i.e., on the abstract counterpart of L.
Dialectica and Chu Constructions: Cousins?
 In this Volume
, 2006
"... This note investigates two generic constructions used to produce categorical models of linear logic, the Chu construction and the Dialectica construction, in parallel. The constructions have the same objects, but are rather di#erent in other ways. We discuss similarities and di#erences and prove ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
This note investigates two generic constructions used to produce categorical models of linear logic, the Chu construction and the Dialectica construction, in parallel. The constructions have the same objects, but are rather di#erent in other ways. We discuss similarities and di#erences and prove that the dialectica construction can be done over a symmetric monoidal closed basis. We also point out several interesting open problems concerning the Dialectica construction.