Coherent phase spaces. Semiclassical semantics

DOI10.1016/j.apal.2004.05.003zbMath1068.03053OpenAlexW2014375491MaRDI QIDQ705538

Sergey Slavnov

Publication date: 31 January 2005

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2004.05.003

zbMATH Keywords

symplectic manifoldscategorymultiplicative linear logiccoherent phase space semantics

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Lagrangian submanifolds; Maslov index (53D12) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items

Modeling linear logic with implicit functions

Cites Work

• Linear logic
• Connections of Berry and Hannay type for moving Lagrangian submanifolds
• The structure of multiplicatives
• Discrete quantum causal dynamics
• Linear Läuchli semantics
• Lectures in modern analysis and applications. III
• Symplectic geometry
• Games and full completeness for multiplicative linear logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item