Coherent phase spaces. Semiclassical semantics

DOI10.1016/J.APAL.2004.05.003MaRDI QIDQ705538zbMATH OpenOpenAlexFDO

Authors 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

categorycoherent phase space semanticsmultiplicative linear logicsymplectic 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)

Recommendations

• Geometrical semantics for linear logic (multiplicative fragment)
• Quantum coherent spaces and linear logic
• scientific article; zbMATH DE number 1342272
• scientific article; zbMATH DE number 1231516
• scientific article; zbMATH DE number 1078383

Cites work

• Connections of Berry and Hannay type for moving Lagrangian submanifolds
• Discrete quantum causal dynamics
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 4048539 (Why is no real title available?)
• scientific article; zbMATH DE number 52772 (Why is no real title available?)
• scientific article; zbMATH DE number 3533184 (Why is no real title available?)
• scientific article; zbMATH DE number 1024333 (Why is no real title available?)
• scientific article; zbMATH DE number 194332 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 3285978 (Why is no real title available?)
• scientific article; zbMATH DE number 3297923 (Why is no real title available?)
• scientific article; zbMATH DE number 3379860 (Why is no real title available?)
• Lectures in modern analysis and applications. III
• Lectures on the geometry of quantization
• Linear logic
• Linear Läuchli semantics
• Symplectic geometry
• The structure of multiplicatives

Cited in

(3)

• Geometrical semantics for linear logic (multiplicative fragment)
• Quantum coherent spaces and linear logic
• Modeling linear logic with implicit functions

This page was built for publication: Coherent phase spaces. Semiclassical semantics

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