FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912982876> ?p ?o ?g. }

• W2912982876 abstract "We consider semantics of Linear Logic, mainly of its multiplicative fragment. We construct a model, based on ideas of geometric quantization and semiclassical approximation, where formulas are interpreted as symplectic manifolds (phase spaces of physical systems), and proofs are interpreted as Lagrangian submanifolds (approximate localization of quantized systems in classical phase spaces). Physically this corresponds to the setting of semiclassical approximation of quantum mechanics. In our model we consider the extra structure of coherence (technically---a conic subset of the tangent bundle) on a symplectic manifold, which specifies a class of Lagrangian submanifolds. Connectives of Linear Logic obtain very natural interpretation as operations on coherences. We show that the above category (category of coherent phase spaces) is a sound and complete in some strong sense model of the multiplicative fragment of Linear Logic. We also try to understand if our coherences and operations on them have any physical meaning. In parallel we consider another model of the multiplicative fragment, where formulas are interpreted as compact oriented manifolds and proofs are interpreted as manifolds with boundary (bordisms or space-times). Similarly to the previous model we introduce coherences for bordisms, which allows us again to interpret logical connectives as very natural operations on coherences. Furthermore, this formalism, being essentially a generalization of the well-known formalism of proof-nets, allows us to formulate an alternative syntax of multi-dimensional proof-nets, uncovering a geometric meaning of multiplicative connectives of Linear Logic. Finally, following ideas of topological field theory, we discover interesting connections between the two models. In the last part of the dissertation we attempt to extend the symplectic interpretation to larger fragments of Linear Logic, namely to the exponential and the unital fragments. A correct generalization is the category of coherent prequantum spaces, based on prequantum, rather than symplectic, manifolds. Although the resulting model remains, in some aspects, heuristic, as far as the unital fragment is concerned, we obtain a completely rigorous new interpretation." @default.
• W2912982876 created "2019-02-21" @default.
• W2912982876 creator A5061133018 @default.
• W2912982876 creator A5082347461 @default.
• W2912982876 date "2005-01-01" @default.
• W2912982876 modified "2023-09-27" @default.
• W2912982876 title "Semantic investigations of linear logic" @default.
• W2912982876 hasPublicationYear "2005" @default.
• W2912982876 type Work @default.
• W2912982876 sameAs 2912982876 @default.
• W2912982876 citedByCount "1" @default.
• W2912982876 countsByYear W29129828762014 @default.
• W2912982876 crossrefType "journal-article" @default.
• W2912982876 hasAuthorship W2912982876A5061133018 @default.
• W2912982876 hasAuthorship W2912982876A5082347461 @default.
• W2912982876 hasConcept C118615104 @default.
• W2912982876 hasConcept C136119220 @default.
• W2912982876 hasConcept C168619227 @default.
• W2912982876 hasConcept C202444582 @default.
• W2912982876 hasConcept C28077239 @default.
• W2912982876 hasConcept C33923547 @default.
• W2912982876 hasConceptScore W2912982876C118615104 @default.
• W2912982876 hasConceptScore W2912982876C136119220 @default.
• W2912982876 hasConceptScore W2912982876C168619227 @default.
• W2912982876 hasConceptScore W2912982876C202444582 @default.
• W2912982876 hasConceptScore W2912982876C28077239 @default.
• W2912982876 hasConceptScore W2912982876C33923547 @default.
• W2912982876 hasLocation W29129828761 @default.
• W2912982876 hasOpenAccess W2912982876 @default.
• W2912982876 hasPrimaryLocation W29129828761 @default.
• W2912982876 hasRelatedWork W1610218046 @default.
• W2912982876 hasRelatedWork W171085657 @default.
• W2912982876 hasRelatedWork W1965548508 @default.
• W2912982876 hasRelatedWork W2006915625 @default.
• W2912982876 hasRelatedWork W2065365881 @default.
• W2912982876 hasRelatedWork W2076260611 @default.
• W2912982876 hasRelatedWork W2090775161 @default.
• W2912982876 hasRelatedWork W2093071675 @default.
• W2912982876 hasRelatedWork W2564491357 @default.
• W2912982876 hasRelatedWork W2760837887 @default.
• W2912982876 hasRelatedWork W2795547157 @default.
• W2912982876 hasRelatedWork W2885860812 @default.
• W2912982876 hasRelatedWork W3098796642 @default.
• W2912982876 hasRelatedWork W3100604784 @default.
• W2912982876 hasRelatedWork W3104837889 @default.
• W2912982876 hasRelatedWork W3106331587 @default.
• W2912982876 hasRelatedWork W3149930668 @default.
• W2912982876 hasRelatedWork W3156027903 @default.
• W2912982876 hasRelatedWork W3214092337 @default.
• W2912982876 hasRelatedWork W62528541 @default.
• W2912982876 isParatext "false" @default.
• W2912982876 isRetracted "false" @default.
• W2912982876 magId "2912982876" @default.
• W2912982876 workType "article" @default.