Weak topologies for linear logic

DOI10.2168/LMCS-12(1:3)2016MaRDI QIDQ2794670zbMATH OpenFDO

Authors Marie Kerjean

Publication date 11 March 2016

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1405.5393

zbMATH Keywords

differential categorieslinear logicweak topologies

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Duality theory for topological vector spaces (46A20) Semantics in the theory of computing (68Q55)

Abstract: We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as continuous linear functions, and non-linear proofs as sequences of monomials. We do not complete our constructions by a double-orthogonality operation. This yields an interpretation of the polarity of the connectives in terms of topology.

Recommendations

• scientific article; zbMATH DE number 1058171
• Mackey-complete spaces and power series -- a topological model of differential linear logic
• Finiteness spaces
• On Köthe sequence spaces and linear logic
• scientific article; zbMATH DE number 860047

Cited in

(4)

• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• scientific article; zbMATH DE number 1058171 (Why is no real title available?)
• Linear logic in normed cones: probabilistic coherence spaces and beyond
• Models of Linear Logic based on the Schwartz \varepsilon-product

This page was built for publication: Weak topologies for linear logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2794670)