{"entities":{"Q5939845":{"pageid":8116647,"ns":120,"title":"Item:Q5939845","lastrevid":47645089,"modified":"2026-01-02T07:26:52Z","type":"item","id":"Q5939845","labels":{"en":{"language":"en","value":"On phase semantics and denotational semantics: The exponentials"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623318"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$010C7A41-895D-415B-BFD1-56657638C289","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82cf1f4da42082a1a4ada09ef4ad780c90ea4822","datavalue":{"value":{"text":"On phase semantics and denotational semantics: The exponentials","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5939845$54D79309-1E79-4CC6-8719-2FCDD69A4524","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcc06cda707ed1e67f9279e827ff35fd84b3a4b4","datavalue":{"value":"1004.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939845$D0D7A767-2A36-43A1-AF73-34988CB177C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e63f7be297af82a83984569d792cee77f3c0878","datavalue":{"value":"10.1016/S0168-0072(00)00056-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939845$BB8E4DC5-441C-41CA-A562-C2C6264720CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1fd265ad2cd77bb56c0b60cc46c3c7530dfa4e0","datavalue":{"value":{"entity-type":"item","numeric-id":195005,"id":"Q195005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$437A2714-B243-4DE6-B3A4-F095D22F3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b2a4f692ace663faa44ef268c457b0c011ed01c","datavalue":{"value":{"entity-type":"item","numeric-id":195006,"id":"Q195006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$B92E09AC-9988-4C30-B3C7-6A9AAD49EAE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$7283D159-E565-41FD-ADBA-E70994E5983F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbc31030771bd0832150da86222efa0818b23021","datavalue":{"value":{"time":"+2003-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5939845$469951AB-E4ED-4EC6-B159-D8BD524C157B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6c848266fa72da40ff1802d3555a7d072216992","datavalue":{"value":{"entity-type":"item","numeric-id":590478,"id":"Q590478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$D2077262-A0BB-4E39-86B4-9E9588545CC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939845$EB2BCB71-479E-4B5A-B31C-89753ACEC2BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba1319f4a9b91f578205ddf050c77aa926f395f0","datavalue":{"value":"1623318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939845$8727ED34-1F97-49AC-9823-1EEFC1CAD5DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59d888501111a4b1a04d79a209980511d55ad8e4","datavalue":{"value":"propositional linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$6841F6E4-3609-404C-B1DD-3F1430B5622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$2F3D0712-FF69-4DAD-B925-01A4B6A06713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0330316506ca239cfff19d0e3df96793e84e6ecd","datavalue":{"value":"phase semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$161D10CE-780E-4423-B50F-0A3A10981EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fdeed5704ac6449c47a837de8fb2e700668d51","datavalue":{"value":"coherence spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$D6F68B5A-7181-4884-8E61-1A9F5D59E069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$D8BD804A-A66B-4B1D-A730-1C5E454B921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a81eddec1fbf3f0e6f34b3e3b34e15ba7e11999e","datavalue":{"value":"indexd linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$6386586C-71B6-4DE2-8639-4F37C5965964","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$F0F3DA18-1AC9-4ABE-8A6A-78B9D1157EA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13e2c7bf7641da29d842a6ebdecaddddf4b9405","datavalue":{"value":{"entity-type":"item","numeric-id":4222034,"id":"Q4222034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$4F7A189D-F9F0-474E-B415-2A9F7D528969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2c8292e83c6a8dd597f45e964fcbaf4ccb4d69","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$FF38075D-EAAA-45C1-9AEF-14789F7224DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19cf1f7cf0461dc347c4976ffc8e3da8d98a45e5","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$B146B4BE-4FB2-4B74-B560-FEC47812B301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9f6106c725fe4ade2bfd8caf740aa10c82f408","datavalue":{"value":{"entity-type":"item","numeric-id":5311727,"id":"Q5311727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$0772219B-ED1F-4949-8D1C-F7ECE403B2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$B7623963-9C32-4267-82B9-60C294B3A793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$81D73BC0-39D2-4859-802F-1524855B570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$B36AC712-786F-4E87-94C8-AAA8595CA995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a86a2916d0db0c2fd5d3c89f43e0f228fe085b","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$F746563D-E23C-4CE5-AB8C-CA6EE02661E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de5a92891dc05a0b1130c4f428cc2540c07d8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4382470,"id":"Q4382470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$AC12173F-88DA-4A77-BD63-6FE6C025C9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcefc5c8152246657a9fb6bd76b9673a00a60684","datavalue":{"value":{"entity-type":"item","numeric-id":4222770,"id":"Q4222770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$64C87ACF-2407-46C3-8A80-FF57E49ECA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$7C1B9790-BDA1-4158-9D89-472BFFDD9C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6a44e53117e2b5122cf3411e07466ea55fcf7f2","datavalue":{"value":{"entity-type":"item","numeric-id":1898483,"id":"Q1898483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$6E4B01D8-6A7A-4D7C-8F77-28BB05338BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5939845$6B45A080-0E43-49FF-A797-512529272B39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ddb7ed6c56a172607652c5d87f48cbf20519d7","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(00)00056-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5939845$FCDCD7F2-973D-496C-A2A9-31894B1423E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0778ae47b7a9c316c95c46a9323cd59975d6560","datavalue":{"value":"W1965630431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5939845$0C6B88A9-6C72-47FE-86D6-AD1EDA01D9A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"708b34baf48b391dae7b5e6b1eb7996fd3787e6e","datavalue":{"value":"An indexed version of propositional linear logic with exponentials is defined together with a sequent calculus for this system. To a formula \\(A\\) of indexed linear logic are associated: an underlying formula \\(\\underline{A}\\) of linear logic, an interpretation \\(|\\underline{A}|\\) of this formula in the category of sets and relations, and a family \\(\\langle A\\rangle\\) of elements of \\(A\\). Then \\(A\\) is provable in indexed linear logic iff the family \\(\\langle A\\rangle\\) is contained in the interpretation of some proof of \\(\\underline{A}\\). To this setting the product phase semantics of indexed multiplicative additive linear logic (by the same authors) is extended (symmetric product phase spaces are defined). A soundness result is proved and it is shown how a denotational model of linear logic can be associated to any symmetric product phase space. On this basis a new coherence space model of linear logic is obtained. NEWLINENEWLINENEWLINESome details to give an idea how indexed linear logic \\(\\text{LL}(I)\\) is defined. NEWLINENEWLINENEWLINELet \\(I\\) be an infinite denumerable set. NEWLINENEWLINENEWLINELet \\(J, K\\) be two sets. A function \\(u:J\\rightarrow K\\) is almost injective if, for any \\(k\\in K\\), the set \\(u^{-1}(k)\\) is finite. NEWLINENEWLINENEWLINEEvery formula \\(A\\) has a domain \\(d(A)\\subseteq I\\). (\\dots) NEWLINENEWLINENEWLINEIf \\(A, B\\) are formulae of a domain \\(J\\subseteq I\\) then \\(A\\otimes B\\) is a formula of the domain \\(J\\). (Similarly for \\(par\\).) NEWLINENEWLINENEWLINEIf \\(A\\) is a formula of a domain \\(J\\) and \\(B\\) is a formula of a domain \\(K\\), \\(J\\cap K=\\emptyset\\), then \\(A\\oplus B, A\\& B\\) are formulae of the domain \\(J+K\\) (the disjoint union of \\(J\\) and \\(K\\)). NEWLINENEWLINENEWLINEIf \\(A\\) is a formula of a domain \\(J\\) and \\(u:J\\rightarrow K\\) is an almost injective function then \\(!_uA\\) and \\(?_uA\\) are formulae of the domain \\(K\\) (\\dots)NEWLINENEWLINENEWLINEFor \\(\\text{LL}(I)\\) a succedent-only sequent calculus is considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5939845$D251F6B8-6962-4A7A-93E3-3E0EC19CFE2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bc0912eec327b21c43645bbf753577b39c6cb45","datavalue":{"value":{"entity-type":"item","numeric-id":5311727,"id":"Q5311727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6da9c063717e528e8fd9f01fd153ea35d1229e61","datavalue":{"value":{"amount":"+0.8532437086105347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939845$BBD5A4A2-5B96-4BAD-B0F4-8E2783CD4835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4a13abeaeb5516e21700887cf0ba7c3d3890d3","datavalue":{"value":{"entity-type":"item","numeric-id":1971797,"id":"Q1971797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb5b1272be426be098fa6be5c89e3e3537d3b52","datavalue":{"value":{"amount":"+0.8040173053741455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939845$B4447438-0F0B-4894-BC42-174D98E27E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86769c1b0374a2ea33c7c7b0bed614ca4f489a6","datavalue":{"value":{"entity-type":"item","numeric-id":1827389,"id":"Q1827389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6886b9ddcd57b513fd904d081c488ca5e585945","datavalue":{"value":{"amount":"+0.8032175898551941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939845$EF8178E6-A483-4B78-BE23-390B6CA9D634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"007efb2cb7cc85eaa2c801dcae6732e644da9a59","datavalue":{"value":{"entity-type":"item","numeric-id":3540184,"id":"Q3540184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120d2889cbc2eae33f7e4ef91a494044582c55de","datavalue":{"value":{"amount":"+0.7773825526237488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939845$40FC50B5-0D11-4FB1-9EB1-1CFC5FA091BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45e95681a63ce06800af8cae0ca04eed30d97fcf","datavalue":{"value":{"entity-type":"item","numeric-id":4222828,"id":"Q4222828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a229b18a77e7fd7fac61e0a296dfa660765445a1","datavalue":{"value":{"amount":"+0.7758744955062866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5939845$9542F496-2864-4D54-A5A7-C7D8A9C2E2C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5939845","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5939845"}}}}}