Noncommutative coherence spaces for full linear logic

03/15/2018
by   Sergey Slavnov, et al.
0

We propose a model of full propositional linear logic based on topological vector spaces. The essential feature is that we consider partially ordered vector spaces, or, rather, positive cones in such spaces. Thus we introduce a category whose objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone suprema, and whose morphisms are bounded (adjointable) positive maps. Norms allow us distinct interpretation of dual additive connectives as product and coproduct; in this sense the model is nondegenerate. Also, unlike the familiar case of probabilistic coherence spaces, there is no reference or need for preferred basis; in this sense the model is invariant. Probabilistic coherence spaces form a full subcategory. whose objects, seen as posets, are lattices. Thus we get a model fitting in the tradition of interpreting linear logic in linear algebraic setting, which arguably is free from the drawbacks of its predecessors. We choose the somewhat show-offy title "noncommutative coherence spaces", hinting of noncommutative geometry, because the passage from probabilistic coherence spaces with their preferred bases to general partially ordered cones seems analogous to the passage from commutative algebras of functions on topological spaces to general, not necessarily commutative algebras. Also, natural non-lattice examples of our spaces come from self-adjoint parts of noncommutative operator algebras. Probabilistic coherence spaces then appear as a "commutative" subcategory.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/13/2020

On the linear structure of cones

For encompassing the limitations of probabilistic coherence spaces which...
research
12/30/2021

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

After reminding what coherences spaces are and how they interpret linear...
research
04/22/2022

Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings

A number of models of linear logic are based on or closely related to li...
research
12/05/2022

Integration in Cones

Measurable cones, with linear and measurable functions as morphisms, are...
research
05/23/2022

Higher-order causal theories are models of BV-logic

The Caus[-] construction takes a compact closed category of basic proces...
research
12/20/2017

Models of Linear Logic based on the Schwartz ε-product

From the interpretation of Linear Logic multiplicative disjunction as th...
research
05/26/2020

Differentials and distances in probabilistic coherence spaces (extended version)

In probabilistic coherence spaces, a denotational model of probabilistic...

Please sign up or login with your details

Forgot password? Click here to reset