Geometrical semantics for linear logic (multiplicative fragment)

DOI10.1016/J.TCS.2006.03.020zbMATH Open1094.03060OpenAlexW2063490623MaRDI QIDQ2500490FDOQ2500490

Authors: Sergey Slavnov 

Publication date: 16 August 2006

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.03.020

Recommendations

• Coherent phase spaces. Semiclassical semantics
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• Quantum coherent spaces and linear logic
• Automata, Languages and Programming
• On multiplicative linear logic, modality and quantum circuits

zbMATH Keywords

denotational semanticssymplectic geometrysymplectic manifoldsLagrangian submanifoldmultiplicative linear logiccontact conescategory of coherent phase spacesstates of quantized systems

Mathematics Subject Classification ID

Lagrangian submanifolds; Maslov index (53D12) Geometry and quantization, symplectic methods (81S10) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Geometric quantization (53D50)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• Lectures on the geometry of quantization
• Symplectic geometry
• Title not available (Why is that?)
• Linear Läuchli semantics
• Coherent Banach spaces: A continuous denotational semantics

Cited In (6)

• Title not available (Why is that?)
• Coherent phase spaces. Semiclassical semantics
• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Quantum coherent spaces and linear logic
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives

This page was built for publication: Geometrical semantics for linear logic (multiplicative fragment)

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