Geometrical semantics for linear logic (multiplicative fragment)

DOI10.1016/J.TCS.2006.03.020MaRDI QIDQ2500490zbMATH OpenOpenAlexFDO

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

category of coherent phase spacescontact conesdenotational semanticsLagrangian submanifoldmultiplicative linear logicstates of quantized systemssymplectic geometrysymplectic manifolds

Mathematics Subject Classification ID

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

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

• Coherent Banach spaces: A continuous denotational semantics
• 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?)
• 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
• From proof-nets to bordisms: the geometric meaning of multiplicative connectives
• scientific article; zbMATH DE number 6928613 (Why is no real title available?)
• A correspondence between maximal abelian sub-algebras and linear logic fragments
• Coherent phase spaces. Semiclassical semantics

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)