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

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)

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

Cites work

• scientific article; zbMATH DE number 4048539 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 3379860 (Why is no real title available?)
• Coherent Banach spaces: A continuous denotational semantics
• Lectures on the geometry of quantization
• Linear Läuchli semantics
• Linear logic
• Symplectic geometry

Cited in

(6)

• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Quantum coherent spaces and linear logic
• Coherent phase spaces. Semiclassical semantics
• scientific article; zbMATH DE number 6928613 (Why is no real title available?)
• 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)