Geometrical semantics for linear logic (multiplicative fragment)

DOI10.1016/j.tcs.2006.03.020zbMath1094.03060MaRDI QIDQ2500490

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

symplectic geometry; symplectic manifolds; Lagrangian submanifold; denotational semantics; multiplicative linear logic; contact cones; category of coherent phase spaces; states of quantized systems

Mathematics Subject Classification ID

81S10: Geometry and quantization, symplectic methods

03G30: Categorical logic, topoi

53D12: Lagrangian submanifolds; Maslov index

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

53D50: Geometric quantization

03F52: Proof-theoretic aspects of linear logic and other substructural logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Coherent Banach spaces: A continuous denotational semantics
• Linear Läuchli semantics
• Symplectic geometry